Wie erhalte ich hier eine disjunktive Normalform mit der Anwendung von algebraischer Transformation?
α := a ∨ b ∧ ¬c ∨ c ⇒ ¬a ∨ b ∧ c
1 Antwort
Vom Beitragsersteller als hilfreich ausgezeichnet
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 α.