Diskonjunktive Normalform (Digitaltechnik)?
Y = (¬a ∧ ¬b) ∨ (a ∧ c) ∨ (¬a ∧ ¬b) ∨ (b ∧ c)
= (¬b ∧ c) ∨ (¬a ∧ c)
= (¬a ∧ ¬b) ∨ c
Warum?
1 Antwort
Vom Fragesteller als hilfreich ausgezeichnet
Keine Ahnung, wie das gerechnet wurde. Das Ergebnis ist aber richtig. Ich würde es so rechnen:
Die zweite Zeile enthält Resolventen von Y, die man mit Y verodern darf. In einem weiteren Schritt bekommt man die Resolvente c, die dann alle Terme außer (¬a ∧ ¬b) absorbiert – fertig.