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. Je nach Quelle (Fachbuch, Dozent, Webseite, ...) wird mal die eine und mal die andere Schreibweise angewendet.
Das folgende Video erklärt, wie man von einer gegebenen Wahrheitstafel zu einer aussagenlogischen Formel in disjunktiver Normalform (DNF) kommt:
Wenn Sie dieses Element öffnen, werden Inhalte von externen Dienstleistern geladen und dadurch Ihre IP-Adresse an diese übertragen.