Mitu loogikatehet on olemas? Mitu operandi nendest igalühel on? 3, konjuktsioon, disjunktsioon ja inversioon. Esimesel kahel 2, inversioonil 1, unaarne. Millisel tingimusel on kaks loogikaavaldist omavahel võrdsed? Kaks erinevat loogikaavaldist on võrdväärsed ehk võrdset, kui nad mõlemad omandavad muutujate samade väärtuskombinatsioonide korral sama loogikaväärtuse 1 või 0 Kuidas saadakse mingi loogikaavaldise jaoks tema duaalne kuju? Konjuktsioon disjunktsiooniks, disjunktsioon konjuktsiooniks, konstandid 0 konstandiks 1 ja konstandid 1 konstandiks 0. Milline seos on omavahel hulgaalgebral ja loogikaalgebral? Loogikaaalgebra ja hulgaalgebra on isomorfsed, kõik hulgaalgebra seadused kehtivad ka loogikaalgebras, tehes järgnevad asendused: ühend disjunktsiooniks, ühisosa konjuktsiooni,s tühi hulk konstandiks 0 ja universaalhulk konstandiks 1 Vaata põhiseoseid ja õpi selgeks lk 156-157 Milleks kasutatakse loogikatehete asendusseoseid? Millistel tehetel on nad olemas?
.., ¬1n), (¬21, ..., ¬2n), ..., (¬m1, ..., ¬mn) ja tõene kõigil ülejäänud väärtustustel.TKNK-le viimine: Koostame valemi põhjal tõeväärtustabeli Vaatame vaid neid ridu, mil valem on väär Koostame disjunktsioonid ridadele vastavatest elementide vastandtõeväärtustest (nt kui X=t, Y=t ja Z=v, siis saame ¬Xv¬YvZ) Ühendame saadud disjunktsioonid ühiseks konjuktsiooniks (tuleb silmas pidada seda, et konjuktsioon on prioriteetsem tehe, seega peab kasutama sulge) o TKNK-le viimise algoritm: Elimineerida implikatsioonid ja ekvivalentsid Viia eitused vahetult lausemuutujate ette (st konjunktsioonide ja disjunktsioonide sisse) ,,Liita" konjunktsioonid läbi (teise distributiivsuse seaduse abil)
annaabi.ee 
