6.2.6 Von der Wahrheitstafel zur DNF

Von der Wahrheitstafel zur DNF

Unterschiedliche Quellen schreiben die Negation in der Aussagenlogik in unterschiedlicher Weise.

Gegeben sei eine Aussage .

Dann wird die Negation dieser Aussage geschrieben als oder . Beide Schreibweisen sind in ihrer Bedeutung identisch.

Das folgende Video erklärt, wie man von einer gegebenen Wahrheitstafel zu einer aussagenlogischen Formel in disjunktiver Normalform (DNF) kommt: