Diskreetne matemaatika
A4 x
A5 x x
A6 x x x x
A7 x x x x
Lihtimplikantide A1, A3, A5 ja A7 järgi saab välja kirjutada lõpuni määratud
loogikafunktsiooni minimaalse konjunktiivse normaalkuju:
𝒇(xMKNK (x1x2x3x4) = A1 v A3 v A5 v A7 = (x1 v x2 v x3)(x1 v x 2 v x 3)(x 1 v x2 v x 3) Ʌ
Ʌ (x 3 v x4)
6
3.3 VÕRDLUS
Tuvastan, kas leitud MDNK ja MKNK on teineteisega loogiliselt võrdsed või
mitte.Selleks koostame kummagi loogikafunktsiooni
jaoks tõeväärtustabelid ning võrdleme neid.
𝒇(xMKNK(x1x2x3x4) = (x1 v x2 v x3)(x1 v x 2 v x 3)(x 1 v x2 v x 3)(x 3 v x4)