Diskreetse matemaatika kodutöö TTÜ
on formuleeritud MKNK-st, mis ei ole MDNK-ga loogiliselt võrdne.
5.
Leian taandatud DNK. Taandatud DNK moodustavad kõik funktsiooni
lihtimplikandid, maksimaalsed 1-de piirkonna intervallid.
x´ 1 x´4 V x 2 x´3 V x´1 x´2 x 3 V x´ 2 x 3 x´4
Taandatud DNK osutus samaks, mis on MDNK, need on loogiliselt võrdsed.
Leian täieliku DNK. Täielik DNK on funktsiooni ühtedeks avalduvate 2-
ndvektorite disjunktsioon, kus igas elementaarkonjuktsioonis on kõik
funktsiooni muutujad esindatud.
x´ 1 x´2 x´3 x´4 V x´ 1 x 2 x´3 x´4 V x 1 x 2 x´3 x´ 4 V x´1 x 2 x´3 x 4 V x 1 x 2 x´3 x 4 V x´1 x´2 x 3 x 4 V
V x´1 x´2 x 3 x´4 V x´1 x2 x 3 x´4 V x1 x´ 2 x 3 x´4
Võrdlen MDNK väärtustega:
TDNK väärtused on MDNK-ga samad.
6. Leian MKNK järgi täieliku KNK. TKNK on funktsiooni nullideks avalduvate 2-