Logik:Klausuren/07.02.2004/1.5 Aufgabe: Unterschied zwischen den Versionen

Aktuelle Version vom 17. November 2004, 18:31 Uhr

1. Aufgabenstellung[Bearbeiten]

Gegeben sei die aussagenlogische Formel $ F = ((\neg (p \or q) \or r) \and s) $ mit den aussagenlogischen Variablen $ p,\ q,\ r\, $ und $ s\, $.

a) Geben Sie die Negationsnormalform von $ F\, $ an.

b) Geben Sie die konjunktive Normalform von $ F\, $ an.

c) Geben Sie die disjunktive Normalform von $ F\, $ an.

2. Lösung[Bearbeiten]

a)

$ ((\neg (p \or q) \or r) \and s) $
$ \equiv (((\neg p \and \neg q) \or r) \and s) $

b)

$ \langle [(((\neg p \and \neg q) \or r) \and s)] \rangle $
$ \langle [((\neg p \and \neg q) \or r)], [s] \rangle $
$ \langle [(\neg p \and \neg q), r], [s] \rangle $
$ \langle [\neg p, r], [\neg q, r], [s]] \rangle $

c)

$ [\langle (((\neg p \and \neg q) \or r) \and s)\rangle] $
$ [\langle ((\neg p \and \neg q) \or r), s\rangle] $
$ [\langle s,(\neg p \and \neg q)\rangle,\langle s,r\rangle] $
$ [\langle s, \neg p, \neg q\rangle, \langle s,r\rangle] $

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]

zur Klausur 07.02.2004
Aufgaben-Kategorie AL - Äquivalenz und Normalformen