Logik:Klausuren/15.06.2002/B.1 Aufgabe

2. Lösung

a)

ja , sind erfüllbar,da

$ \lbrace F_1,F_2 \rbrace^{I\,1} = w \rightarrow F_1^{I\,1}= w \qquad F_2^{I\,1} = w $

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 15.06.2002