Nt lause „Matemaatikaõpetaja saab 1. tunni” tähiseks on M1. Kolm tingimust peavad olema korraga täidetud: väited M1 ∨ M2 , A1 ∨ A3 ja K2 ∨ K3 peavad olema korraga tõesed, st nende konjunktsioon peab olema tõene. Väidetesüsteem {M1 ∨ M2 ; A1 ∨ A3 ; K2 ∨ K3} koos lisatingimusega ei tohi olla vastuolu, ning me otsime juhtumeid, mis tõestavad uuritava väidetesüsteemi kooskõlalisust arvestades ka lisatingimust. Viime valemi disjunktiivsele normaalkujule, kasutades distributiivsust: (M1 ∨ M2) & (A1 ∨ A3) & (K2 ∨ K3) ≡ M1 & A1 & K2 ∨ M1 & A1 & K3 ∨ M1 & A3 & K2 ∨ M1 & A3 & K3 ∨ M2 & A1 & K2 ∨ M2 & A1 & K3 ∨ M2 & A3 & K2 ∨ M2 & A3 & K3 ≡ M1 & A3 & K2 ∨ M2 & A1 & K3. Konjunkte on võimalik ühekaupa analüüsida, kasutades ülesande lisatingimust. Need konjunktid, mis on samaselt väärad või lähevad vastuollu ülesande tingimustega, on väärad ega muuda kogu disjunktsiooni tõeväärtust (vt taandamise reegel 15). Jääb kaks konjunkti, 19
Nt lause ,,Matemaatikaõpetaja saab 1. tunni" tähiseks on M1. Kolm tingimust peavad olema korraga täidetud: väited M1 M2 , A1 A3 ja K2 K3 peavad olema korraga tõesed, st nende konjunktsioon peab olema tõene. Väidetesüsteem {M1 M2 ; A1 A3 ; K2 K3} koos lisatingimusega ei tohi olla vastuolu, ning me otsime juhtumeid, mis tõestavad uuritava väidetesüsteemi kooskõlalisust arvestades ka lisatingimust. Viime valemi disjunktiivsele normaalkujule, kasutades distributiivsust: (M1 M2) & (A1 A3) & (K2 K3) M1 & A1 & K2 M1 & A1 & K3 M1 & A3 & K2 M1 & A3 & K3 M2 & A1 & K2 M2 & A1 & K3 M2 & A3 & K2 M2 & A3 & K3 M1 & A3 & K2 M2 & A1 & K3. Konjunkte on võimalik ühekaupa analüüsida, kasutades ülesande lisatingimust. Need konjunktid, mis on samaselt väärad või lähevad vastuollu ülesande tingimustega, on väärad ega muuda kogu disjunktsiooni tõeväärtust (vt taandamise reegel 15). Jääb kaks konjunkti,
annaabi.ee 
