|
Darstellung der Schaltfunktionen
in kostengünstiger Form
|
DNF
Disjunktive Normalform
= Summe der Minterme zu den einschlägigen Indizes
f (i1
in) = 1
= (
) +
+ (
)
für Zeilen der Wertetabelle mit 1 in der Ergebnisspalte
KNF
Konjunktive Normalform
= Produkt der Maxterme zu den nicht-einschlägigen Indizes
f (i1
in) = 0
= ( +
+ )
( +
+ )
für Zeilen der Wertetabelle mit 0 in der Ergebnisspalte
Im allgemeinen wähle die Darstellung mit den wenigsten Termen:
Weniger Einsen: DNF
Weniger Nullen: KNF
Eindeutige Darstellung einer Booleschen Funktion (kann man evtl. noch kürzen).
|
Vollständiges System
Boolescher Funktionen
|
S := {f1,
fk},
wenn jede Boolesche Funktion sich
durch Einsetzen und Komposition aus S darstellen läßt.
z.B. |
(+, , ¬) |
|
|
(+, ¬) |
Beweis: de Morgan |
(, ¬) |
Beweis: de Morgan |
NAND: ¬(x y) |
Beweis:
NAND <=> (NAND, NOT) <=> (AND, NOT)
|
NOR: ¬(x + y) |
|
(XOR, 1, ) |
|
|