MDNK ja MKNK pole omavahel loogiliselt võrdsed, sest määramatuspiirkonna tõttu on nende tõeväärtustabelid erinevad (MDNK puhul on ka määramatuspiirkond arvestatud 1-de piirkonda). 4. Teisendada punktis 3 leitud MKNK loogikaalgebra põhiseaduste abil DNK-kujule (ehk korrutada MKNK avaldises "sulud lahti" ja lihtsustada tekkiv DNK käsitsi). Võrrelda, kas saadud DNK ja MDNK langevad kokku. f(x1x2 x3x4) = (x1 V x3) ( xx2 V x4) (xx1 V x2 V xx3) = (x1xx2 V x1x4 V xx2 x3 V x3x4) (xx1 V x2 V xx3) = = xx1 xx2 x3 V xx1 x3x4 V x1x2x4 V x2x3x4 V x1xx2 xx3 V x1xx3 x4 Leitud DNK ei lange kokku MDNK-ga. Kontrollin, kas nad on omavahel loogiliselt võrdsed – arvutan mõlemale tõeväärtustabelid: x1 x2 x3 x4 fMDNK fDNK 0000 0 0 0001 0 0 0010 1 1 0011 1 1 0100 0 0 0101 1 0
Omadused: 1. Juhusliku
korrutamise lause sõltumatute sündmuste puhul. suuruse X jaotusfunktsiooni F(x) = P(X