Min undMaxterme
MintermMaxtermLiteral
Sei f Xp Xn einebeliebige n stelligeboolescheFunktion
Minterm I a Alinmit He I x3 Mit andvertiniipft
Maxterm Ipv vIn mit Iie Ii X MitOder vertiniipft
Literalteilausdruck I centstehtentwederauseinernegiertenodereinerunnegiertenVariable
Minterm
einMintermnimmtdenWert 1 fairgenaueine Variablenbelegung
UnnegierteVariable x mit 1belegt
a
negierteVariable Tj mit Obelegt
Bsp gunegierinegert
XnXa X Iz XiXiXi AXz
0O O OO O
Ol O 01 O
10 1 10 O
11 O 11 1
Maxterm
einMaxtermnimmt denWert0fairgenaueine Variablenbelegung
a
unnegierteVariable x mit O belegt
a
negierteVariableTj mit 1belegt
Bsp
Axe X V Iz XiXiXI XI
OO 1 00 I
Ol O 01 1
10 1 10 1
11 1 11 0
Normalform
14 2 3 f xnXzXs relMinterme relMaxterme
OO O 1 Intuits
0O l O r Kirkus
01 O O X VINXz disjunctive NormalformDNF brauchtmanMinterme
01 1 1 InaXuxa formKnt brauchtmanMaxterme
a Konjanktive Normal
1 OO 1 Xn Tax
IO l O In viz
1 1 O O XpVEUX
I 1 1 1 XnXzXs
fDNF XyXzXs InIits v xpX2Xz v x viaKB
fKNICK112,1137 4112413 AH xx x IvXaVIDACEvis11113
MintermMaxtermLiteral
Sei f Xp Xn einebeliebige n stelligeboolescheFunktion
Minterm I a Alinmit He I x3 Mit andvertiniipft
Maxterm Ipv vIn mit Iie Ii X MitOder vertiniipft
Literalteilausdruck I centstehtentwederauseinernegiertenodereinerunnegiertenVariable
Minterm
einMintermnimmtdenWert 1 fairgenaueine Variablenbelegung
UnnegierteVariable x mit 1belegt
a
negierteVariable Tj mit Obelegt
Bsp gunegierinegert
XnXa X Iz XiXiXi AXz
0O O OO O
Ol O 01 O
10 1 10 O
11 O 11 1
Maxterm
einMaxtermnimmt denWert0fairgenaueine Variablenbelegung
a
unnegierteVariable x mit O belegt
a
negierteVariableTj mit 1belegt
Bsp
Axe X V Iz XiXiXI XI
OO 1 00 I
Ol O 01 1
10 1 10 1
11 1 11 0
Normalform
14 2 3 f xnXzXs relMinterme relMaxterme
OO O 1 Intuits
0O l O r Kirkus
01 O O X VINXz disjunctive NormalformDNF brauchtmanMinterme
01 1 1 InaXuxa formKnt brauchtmanMaxterme
a Konjanktive Normal
1 OO 1 Xn Tax
IO l O In viz
1 1 O O XpVEUX
I 1 1 1 XnXzXs
fDNF XyXzXs InIits v xpX2Xz v x viaKB
fKNICK112,1137 4112413 AH xx x IvXaVIDACEvis11113