6.2.6 Von der Wahrheitstafel zur DNF

Von der Wahrheitstafel zur DNF

Zunächst ein Hinweis zur Schreibweise:

Hinweis

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

Gegeben sei eine Aussage Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle A} .
Dann wird die Negation dieser Aussage geschrieben als     Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle \neg A}     oder     Fehler beim Parsen (SVG mit PNG-Fallback (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle \overline{A}} .

Beide Schreibweisen sind in ihrer Bedeutung identisch. Je nach Quelle (Fachbuch, Dozent, Webseite, ...) wird mal die eine und mal die andere Schreibweise angewendet.
Am besten du gewöhnst dich einfach daran.


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


Aufgabe 1

Aufgabe

In einer gegebenen Wahrheitstafel finden sich in der Ergebnisspalte die Funktionswerte Null (0) bzw. Eins (1). Welcher dieser beiden Werte ist für die Bildung der DNF (disjunktiven Normalform) aus der Wahrheitstafel von Bedeutung?