Aussagenlogik Formel disjuntiv und konjuntiv

Question

Bringen Sie die aussagenlogische Formel
¬((p⇒q)∧(r⇔(s∨t)))

a) in disjunktive Normalform

b) in konjuntive Normalform

Danke im Voraus

Comments

Mache doch eine Wahrheitswerttabelle ( 32 Zeilen)

und schau nach, bei welchen Belegungen am Ende

w herauskommt. Das sind die Minterme für die

disjunktive Normalform.

---

Es gibt keine konjuntive Normalform.

Answer 1

\(\overline{p\Rightarrow q} (r\iff s+t)\)

\(\overline{\overline p+ q} (\overline r+ s+t)(\overline {s+t}+r)\)

\(p \overline q (\overline r+ s+t)(\overline s \overline t+r)\)

\(p \overline q (\overline r \overline s \overline t+sr+tr)\)

\(p \overline q \overline r \overline s \overline t\)

\(\iff p\land \neg q \land \neg r\land \neg s\land \neg t\)

Comments

Die erste Zeile entspricht aber nicht der gestellten Frage :)