Um die disjunktive Normalform (DNF) der gegebenen Aussage zu erhalten, kannst du die algebraischen Transformationen anwenden. Hier ist der Schritt-für-Schritt-Prozess:
- Nutze die distributive Regel für das ∧:
- α := (a ∨ b) ∧ (¬c ∨ c) ⇒ (a ∨ b) ∧ True
- Vereinfache den zweiten Ausdruck zu True und entferne ihn:
- α := (a ∨ b)
Das ist bereits eine disjunktive Normalform (DNF) für die gegebene Aussage α.
