6.2.7 Von der Wahrheitstafel zur KNF

Von der Wahrheitstafel zur KNF

Gegeben sei die folgende Wahrheitstafel.
, und sind die Variablen, ist der Funktionswert.


                                           
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 1} 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 1} 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 1} 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 1}


Aus dieser Wahrheitstafel resultiert der folgende Term in KNF (konjunktiver Normalform):

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 \lor B \lor C) \quad \land \quad (\neg A \lor \neg B \lor C)}


Hinweis

Ein Term in KNF ist eine Konjunktion von Disjunktionen!


Das folgende Video zeigt, wie der Term in KNF aus der Wahrheitstafel gebildet wird:


Aufgabe 1

Aufgabe

Warum sind in dem folgenden Term die Klammern wichtig?

Oder anders gefragt:
Was würde sich ändern, wenn man auf die Klammern verzichtet?


Aufgabe 2

Aufgabe

Vervollständige die Ergebnisspalte der Wahrheitstafel:

    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}         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 B}         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 C}               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 \lor B \lor (C \land \neg A) \lor \neg B \lor C}          
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 0} 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 0} 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 0} 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 }
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 0} 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 0} 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 1} 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 }
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 0} 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 1} 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 0} 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 }
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 0} 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 1} 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 1} 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 }
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 1} 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 0} 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 0} 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 }
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 1} 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 0} 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 1} 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 }
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 1} 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 1} 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 0} 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 }
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 1} 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 1} 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 1} 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 }



Aufgabe 3

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 KNF (konjunktiven Normalform) aus der Wahrheitstafel von Bedeutung?