Warum genau fallen die letzten Ausdrücke weg, sodass es zu dieser Lösung kommt in Bezug auf die disjunktive Normalform (DNF)?

...komplette Frage anzeigen Aufgabe - (Mathematik, Aussagelogik, disjunktive-normalform)

1 Antwort

Weil die letzten beiden Terme schlichtweg unerfüllbar sind. Es müsste dafür ja gelten nicht A und gleichzeitig A oder nicht B und gleichzeitig B.

Roderic 22.07.2016, 00:14

Korrekt.

In der Sprache der Mathematik:

( A ∧ Not A ) = 0

und

(A ∨ 0 ) = A

Mit diesen beiden Regel wurden die letzten beiden Terme eliminiert.

2
Soelller 22.07.2016, 03:12
@Roderic

Verstehe, wieso steht die A dann noch nicht zusätzlich in der DNF?

Ansonsten super gut erklärt!

0

Was möchtest Du wissen?