Logik Normalform

$Z=$ logischer Term $X_1,...,X_n$

Disjunktiver Normalform (DNF)
$Z=Z_1\vee \cdot \cdot \cdot \vee Z_k$
$Z_i=Y_1\wedge \cdot \cdot \cdot \wedge Y_n$ für alle $i=1,...,k$

Konjunktiver Normalform (KNF)
$Z=Z_1\wedge \cdot \cdot \cdot \wedge Z_k$
$Z_i=Y_1\vee \cdot \cdot \cdot \vee Y_n$ für alle $i=1,...,k$

z.B.
$Z=(A\wedge B\wedge C)\vee (\neg A\wedge B\wedge \neg C)$
DNF: $Z^{{}^{\prime }}=(A\vee B\vee C)\wedge (\neg A\vee \neg B\vee \neg C)\wedge (\neg A\vee B\vee C)$

Normalform Herleiten