I teisendamise teel vasaku poole avaldiseks. Arvestades, et x w x ¯ = 1 saame distributiivsusseaduse (sulgude x y = x ¯y w x ¯y lahtikorrutamise) abil ja neeldumise x w x y = x abil teisendada: x w y = ( x w y) 1 = ( x w y) ( x w ¯ x) = Loogikaavaldiste teisendamine = x x w y x w x x¯ w y x¯ = Loogikaavaldiste teisendamine on nende viimine muule samaväärsele
aritmeetilise summaga, millele on rakendatud moodulit 2: (0+0)𝑚𝑜𝑑2)=0𝑚𝑜𝑑2=0 ;(0+1)𝑚𝑜𝑑2=1𝑚𝑜𝑑2=1 ;(1+0)𝑚𝑜𝑑2=1𝑚𝑜𝑑2=1 ; (1+1)𝑚𝑜𝑑2=2𝑚𝑜𝑑2=0 . Summa mooduliga 2 on ekvivalentsi inversioon. Omadused 𝑥⊕𝑥=0 𝑥⊕1=𝑥̅ 𝑥⊕0=𝑥 𝑥⊕𝑥̅=1 0⊕1=1 1⊕1=0 1⊕1⊕1=1 DNK/KNK saab TDNK/TKNK kleepimisseadusega nt 𝑥1=𝑥1𝑥2∨𝑥1𝑥2̅ nt 𝑥1=(𝑥1∨𝑥2̅) (𝑥1∨𝑥2) DNK saab KNK-ks sulgude lahtikorrutamise/lahtiliitmise abil. 𝑓0(𝑥1𝑥2)=0 𝑘𝑜𝑛𝑠𝑡𝑎𝑛𝑡 0 𝑓1(𝑥1𝑥2)=𝑥1𝑥2 𝑘𝑜𝑛𝑗𝑢𝑛𝑘𝑡𝑠𝑖𝑜𝑜𝑛 𝑓2(𝑥1𝑥2)=𝑥1→𝑥2̅ 𝑖𝑚𝑝𝑙𝑖𝑘𝑎𝑡𝑠𝑖𝑜𝑜𝑛𝑖 𝑖𝑛𝑣𝑒𝑟𝑠𝑖𝑜𝑜𝑛 𝑓3(𝑥1𝑥2)=𝑥1 𝑒𝑠𝑖𝑚𝑒𝑛𝑒 𝑚𝑢𝑢𝑡𝑢𝑗𝑎
Summa mooduliga 2 on ekvivalentsi inversioon. Omadused 𝑥 ⊕ 𝑥 = 0 𝑥 ⊕ 1 = 𝑥̅ 𝑥 ⊕ 0 = 𝑥 𝑥 ⊕ 𝑥̅ = 1 0 ⊕ 1 = 1 1 ⊕ 1 = 0 1 ⊕ 1 ⊕ 1 = 1 DNK/KNK saab TDNK/TKNK kleepimisseadusega nt 𝑥1 = 𝑥1 𝑥2 ∨ 𝑥1 ̅̅̅ 𝑥2 nt 𝑥1 = (𝑥1 ∨ ̅̅̅)(𝑥 𝑥2 1 ∨ 𝑥2 ) DNK saab KNK-ks sulgude lahtikorrutamise/lahtiliitmise abil. 𝑓0 (𝑥1 𝑥2 ) = 0 𝑘𝑜𝑛𝑠𝑡𝑎𝑛𝑡 0 𝑓1 (𝑥1 𝑥2 ) = 𝑥1 𝑥2 𝑘𝑜𝑛𝑗𝑢𝑛𝑘𝑡𝑠𝑖𝑜𝑜𝑛 𝑓2 (𝑥1 𝑥2 ) = ̅̅̅̅̅̅̅̅̅̅ 𝑥1 → 𝑥2 𝑖𝑚𝑝𝑙𝑖𝑘𝑎𝑡𝑠𝑖𝑜𝑜𝑛𝑖 𝑖𝑛𝑣𝑒𝑟𝑠𝑖𝑜𝑜𝑛 𝑓3 (𝑥1 𝑥2 ) = 𝑥1 𝑒𝑠𝑖𝑚𝑒𝑛𝑒 𝑚𝑢𝑢𝑡𝑢𝑗𝑎
annaabi.ee 
