Diskreetse matemaatika elemendid
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. Igast järelejäänud liikmest kaotame literaalide kordused. Jätame välja
korduvad liikmed.
o Lisame igale elementaarkonjunktsioonile täiskomplektist puuduvad muutujad, kasutades
seost F ≡ F & (A ∨ ¬A). Seejärel rakendame uuesti distributiivsuse seadusi ja korrutame
sulud lahti
o Jätame välja täielike elementaarkonjunktsioonide korduvad eksemplarid, kasutades
idempotentsuse seadust F ∨ F ≡ F .
7
annaabi.ee 
