Nt A1&B1& ... A2&B2& ... Valemi F konjunktiivseks normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutad endast erinevate disjunktide konjunktsiooni. Nt (A1 B1 ...) & (A2 B2 ...) & ... ETTEANTUD TÕEVÄÄRTUSEGA LAUSED Disjunktiivne normaalkuju võimaldab lihtsaimal viisil esitada etteantud tõeväärtus- tabeliga lause. See koosneb tabeli tõestele ridadele vastavatest konjunktidest, mis on seotud disjunktsioonidega. Reale vastava tõese konjunktsiooni saamiseks võtame teguriteks tõesed muutujad ning väärate muutujate eitused. Nt: Meil on teada, et kaks tundmatu kujuga lauset U ja W on kahe lausemuutuja A ja B funktsioonid. Ja lisaks on meil teada tõeväärtustabelid: AB U AB W 1 1 0 11 1 1 0 1 10 0
valemit, mis kujutab endast erinevate disjunktide konjunktsiooni. Nt (A1 ∨ B1 ∨ … ∨ E1) & (A2 ∨ B2 ∨ …∨ E2) & … . Normaalkujudel on kasulikke omadusi, mis võimaldavad mitmesuguste ülesannete lahendamist. Kui tegemist on väidetesüsteemiga ning me otsime tõeseid 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
valemit, mis kujutab endast erinevate disjunktide konjunktsiooni. Nt (A1 B1 ... E1) & (A2 B2 ... E2) & ... . Normaalkujudel on kasulikke omadusi, mis võimaldavad mitmesuguste ülesannete lahendamist. Kui tegemist on väidetesüsteemiga ning me otsime tõeseid 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
annaabi.ee 
