väidetekombinatsioone, on sageli kasulik konstrueerida väidetest valem disjunktiivsel normaalkujul. Selline valem on tõene alati, kui on tõene vähemalt üks konjunktidest, ning konjunkt saab olla tõene vaid siis, kui kõik selles esinevad literaalid on tõesed. Kui me otsime vääri väidetekombinatsioone, on sageli kasulik konstrueerida väidetest valem konjunktiivsel normaalkujul. Selline valem on väär alati, kui on väär vähemalt üks disjunktidest. NÜ. Tunniplaani jaoks esitasid mingi klassi ja päeva jaoks oma soovid matemaatika-, keemiaja ajalooõpetaja. Matemaatikaõpetaja palus 1. või 2. tundi, ajalooõpetaja 1. või 3., keemiaõpetaja 2. või 3. tundi. Kas neid soove saab korraga täita, mitu võimalust on? (Ülesandel on lisatingimus, et iga õpetaja peab saama peab täpselt ühe esimesest kolmest tunnist.) Lahendus: tõlkides valime lausesümbolid nii, et need oleks kergesti äratuntavad: suurtäht
väidetekombinatsioone, on sageli kasulik konstrueerida väidetest valem disjunktiivsel normaalkujul. Selline valem on tõene alati, kui on tõene vähemalt üks konjunktidest, ning konjunkt saab olla tõene vaid siis, kui kõik selles esinevad literaalid on tõesed. Kui me otsime vääri väidetekombinatsioone, on sageli kasulik konstrueerida väidetest valem konjunktiivsel normaalkujul. Selline valem on väär alati, kui on väär vähemalt üks disjunktidest. NÜ. Tunniplaani jaoks esitasid mingi klassi ja päeva jaoks oma soovid matemaatika-, keemia- ja ajalooõpetaja. Matemaatikaõpetaja palus 1. või 2. tundi, ajalooõpetaja 1. või 3., keemiaõpetaja 2. või 3. tundi. Kas neid soove saab korraga täita, mitu võimalust on? (Ülesandel on lisatingimus, et iga õpetaja peab saama peab täpselt ühe esimesest kolmest tunnist.) Lahendus: tõlkides valime lausesümbolid nii, et need oleks kergesti äratuntavad: suurtäht
annaabi.ee 
