T
Arial
Verdana
Tahoma
Trebuchet
Times New Roman
Georgia
Garamond
Courier New
Brush Script MT
Literaalipaare
Kasutatud lausetes (
Matemaatika)
Jättes need ära, ongi tulemuseks valemi F täielik konjunktiivne normaalkuju TDNK’le teisendamise algoritm, etappidel kasutatavad samaväärsused o Elimineerime implikatsioonid ja ekvivalentsid 8 F → G ≡ ¬F ∨ G, F ↔ G ≡ F & G ∨ ¬F & ¬G o Viime eitused vahetult lausemuutujate ette, kasutades De Morgani seadusi ¬(F & G) ≡ ¬F ∨ ¬G, ¬(F ∨ G) ≡ ¬F & ¬G Kui kuskile tekib kahekordne eitus, siis jätame selle ära. o Viime konjunktsioonid disjunktsioonidest sügavamale, kasutades distributiivsuse seadusi F & (G ∨ H ) ≡ F & G ∨ F & H (F ∨ G) & H ≡ F & H ∨ G & H o Eemaldame liikmed, mis sisaldavad vastandlikke
literaalipaare
, sest need liikmed on samaselt väärad.
Liited
Sõnapaarid
Kirjapilt
.