6.2.7 Von der Wahrheitstafel zur KNF

Von der Wahrheitstafel zur KNF

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$	$1$
$0$	$1$	$0$	$1$
$0$	$1$	$1$	$1$
$1$	$0$	$0$	$0$
$1$	$0$	$1$	$1$
$1$	$1$	$0$	$0$
$1$	$1$	$1$	$1$

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

$(\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 Diskunktionen!

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

http://youtu.be/4UU83WSs394

Hinweis

Siehe in den offiziellen Lernmaterialien:
Teil II: Aussagenlogik und Boole'sche Algebra
Lernobjekt 6: Anwendungen der Aussagenlogik
Kapitel 3.3: Boole'sche Funktionen in Normalform bringen