((a und b) oder ¬c) .... ((c und b) oder ¬a) ins KNF umwandeln.

Neue Frage »

Andyyyyyy Auf diesen Beitrag antworten »
((a und b) oder ¬c) .... ((c und b) oder ¬a) ins KNF umwandeln.
Meine Frage:
Wie könnte man ((a und b) oder ¬c) → ((c und b) oder ¬a) ins KNF umwandelen?

Meine Ideen:
Soweit habe ich das:

((a und b) oder ¬c) &#8594; ((c und b) oder ¬a) <=>
¬((a und b) oder ¬c) oder ((c und b) oder ¬a) <=>
(¬a oder ¬(b oder ¬c)) oder ((c und b) oder ¬a) <=>
(¬a oder (¬b und c)) oder ((c und b) oder ¬a) <=>
(¬a oder (¬b und c)) oder ((c oder ¬a) und (b oder ¬a)) <=>
((¬a oder ¬b) und (¬a oder c)) oder ((¬a oder c) und (b oder ¬a))

ich bin mir aber nicht sicher wie ich weiter machen kann
Finn_ Auf diesen Beitrag antworten »

Den Teilausdruck per Distributivgesetz ausklammern. Daraufhin lässt sich der Ausdruck massiv vereinfachen.
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »