Titelseite
  1. Einleitung
  2. Schaltalgebra (1)
  3. Wahrheitstabelle
    1. Übungen
    2. Lösungen
  4. KNF & DNF

Mit dem Verfahren, das wir bis jetzt gelernt haben, lässt sich die Oder-Normalform darstellen. Neben der Oder-Normalform gibt es auch noch die Und-Normalform.

Oder-Normalform = Disjunktive Normalform (kurz DNF)

Und-Normalform = Konjunktive Normalform (kurz KNF)

Im weiteren Verlauf des Buches werden wir hauptsächlich mit der Oder-Normalform arbeiten. Die Und-Normalform dient also mehr der Vollständigkeit.

Gewinnen der Und-Normalform Bearbeiten

Dez. C B A X
0 0 0 0 0
1 0 0 1 1
2 0 1 0 1
3 0 1 1 1
4 1 0 0 0
5 1 0 1 1
6 1 1 0 0
7 1 1 1 1

Auch hier hat jede Zeile seine spezifische Gleichung.

Beginnen wir bei der ersten Zeile:

Dez. C B A
0 0 0 0
 

Hier müssen wir formulieren, bei welcher Gleichung die Zeile 0 (also falsch) ist.

Nun zur nächsten Zeile:
Dez. C B A
1 0 0 1
 
und so weiter:
Dez. C B A X formell
0 0 0 0 0  
1 0 0 1 1  
2 0 1 0 1  
3 0 1 1 1  
4 1 0 0 0  
5 1 0 1 1  
6 1 1 0 0  
7 1 1 1 1  
Jetzt haben wir für jede Spalte die Formel, doch eigentlich interessieren uns nur die Spalten, wo unser Ausgang, also X, 0 ist:
Dez. C B A X formell
0 0 0 0 0  
1 0 0 1 1  
2 0 1 0 1  
3 0 1 1 1  
4 1 0 0 0  
5 1 0 1 1  
6 1 1 0 0  
7 1 1 1 1  
Daraus können wir eine Gleichung gewinnen:  
Nun, aber was ist die Gleichung?  

Umwandeln Bearbeiten

Grundsätzlich ist es auch möglich, einen Ausdruck von der Oder-Normalform in die Und-Normalform und umgekehrt zu überführen.

Beweis Bearbeiten