roheliseks ja kolmas siniseks. Küsimusele, mis värvi juuksed kellelgi neist olid, vastati hiljem, et Anne pea oli punane, Tiia pea ei olnud punane ja Kadi pea ei olnud sinine. Üksainus vastus osutus tõeseks. Mis värvi olid neidude juuksed? Lahendus: vastaku suurtäht tüdruku eesnimele ning indeks pea värvile. Nt lause „Anne pea oli punane” väljenduseks on Ap . (NB! Püüdke alati väljendada jaatavat lauset positiivse literaaliga. Lubatud on ka teisiti, kuid kogemus näitab, et lahendusvigade arv suureneb sel juhul hüppeliselt. )Esitatud väited sümbolkujul: Ap, ¬Tp, ja ¬Ks. Et leida tõeseid väidete komplekte, on kasulik konstrueerida valem disjunktiivsel normaalkujul. Selleks peame otsima konjunkte, mis võivad olla tõesed, ehk siis kooskõlalisi väidetesüsteeme. On kolm võimalust: kui tõene on esimene väide, siis peavad olema tõesed teise väite eitus ja kolmanda väite eitus
roheliseks ja kolmas siniseks. Küsimusele, mis värvi juuksed kellelgi neist olid, vastati hiljem, et Anne pea oli punane, Tiia pea ei olnud punane ja Kadi pea ei olnud sinine. Üksainus vastus osutus tõeseks. Mis värvi olid neidude juuksed? Lahendus: vastaku suurtäht tüdruku eesnimele ning indeks pea värvile. Nt lause ,,Anne pea oli punane" väljenduseks on Ap . (NB! Püüdke alati väljendada jaatavat lauset positiivse literaaliga. Lubatud on ka teisiti, kuid kogemus näitab, et lahendusvigade arv suureneb sel juhul hüppeliselt. )Esitatud väited sümbolkujul: Ap, ¬Tp, ja ¬Ks. Et leida tõeseid väidete komplekte, on kasulik konstrueerida valem disjunktiivsel normaalkujul. Selleks peame otsima konjunkte, mis võivad olla tõesed, ehk siis kooskõlalisi väidetesüsteeme. On kolm võimalust: kui tõene on esimene väide, siis peavad olema tõesed teise väite eitus ja kolmanda väite eitus
annaabi.ee 
