((a und b) oder ¬c) .... ((c und b) oder ¬a) ins KNF umwandeln. |
29.01.2023, 19:48 | Andyyyyyy | Auf diesen Beitrag antworten » |
((a und b) oder ¬c) .... ((c und b) oder ¬a) ins KNF umwandeln. 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) → ((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 |
||
30.01.2023, 18:07 | Finn_ | Auf diesen Beitrag antworten » |
Den Teilausdruck per Distributivgesetz ausklammern. Daraufhin lässt sich der Ausdruck massiv vereinfachen. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|