Von der Wahrheitstafel zur DNF

Von der Wahrheitstafel zur DNF

Gegeben sei die folgende Wahrheitstafel.
$A$, $B$ und $C$ sind die Variablen, $F$ ist der Funktionswert.

$A$	$B$	$C$	$F$
$0$	$0$	$0$	$1$
$0$	$0$	$1$	$0$
$0$	$1$	$0$	$0$
$0$	$1$	$1$	$1$
$1$	$0$	$0$	$1$
$1$	$0$	$1$	$0$
$1$	$1$	$0$	$1$
$1$	$1$	$1$	$0$

Aus dieser Wahrheitstafel resultiert der folgende Term in DNF (disjunktiver Normalform):

$(\neg A\land \neg B\land \neg C)\quad \lor \quad (\neg A\land B\land C)\quad \lor \quad (A\land \neg B\land \neg C)\quad \lor \quad (A\land B\land \neg C)$

Hinweis

Ein Term in DNF ist eine Disjunktion von Konjunktionen!

Vor dem erklärenden Video noch ein Hinweis zur Schreibweise:

Hinweis

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

Gegeben sei eine Aussage $A$ .
Dann wird die Negation dieser Aussage geschrieben als     $\neg A$     oder     ${\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:

YouTube

Wenn Sie dieses Element öffnen, werden Inhalte von externen Dienstleistern geladen und dadurch Ihre IP-Adresse an diese übertragen.

Inhalt ansehen und nicht erneut fragen

 Med. 28: Von der Wahrheitstabelle zur Formel

Robert Bosch Schule - http://youtu.be/wo5mX1-SETo

Standard-YouTube-Lizenz

Aufgabe 1

Aufgabe

 Aufg. 14: Wo Klammern nicht notwendig sind

Warum können in dem folgenden Term die Klammern auch weggelassen werden?

$(\neg A\land \neg B\land \neg C)\quad \lor \quad (\neg A\land B\land C)\quad \lor \quad (A\land \neg B\land \neg C)\quad \lor \quad (A\land B\land \neg C)$

Hinweis$\land$ $\lor$ $(\neg A\land \neg B\land \neg C)\quad \lor \quad (\neg A\land B\land C)\quad \lor \quad (A\land \neg B\land \neg C)\quad \lor \quad (A\land B\land \neg C)$ $\equiv \qquad \neg A\land \neg B\land \neg C\quad \lor \quad \neg A\land B\land C\quad \lor \quad A\land \neg B\land \neg C\quad \lor \quad A\land B\land \neg C$

Aufgabe 2

Aufgabe

 Aufg. 15: Eins oder Null bei DNF?

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?