5 Alfred J. Ayer da, et see, et ta on lõpetanud mulle kirjutamise, pole ei tõene ega väär. Kuid tegelikult keeldutaks tunnustamast sellist juhtumit välistatud kolmanda seaduse kehtetuks muutjana. Osutataks selle- le, et propositsioon `Mu sõber on lõpetanud mulle kirjutamise' ei ole lihtpropositsioon, vaid kahe propositsiooni, `Mu sõber kirjutas mulle minevikus' ja `Mu sõber ei kirjuta mulle praegu' konjunkt- sioon: ning lisaks ei ole propositsioon `Mu sõber ei ole lõpetanud mulle kirjutamist' vasturääkivuses propositsiooniga `Mu sõber on lõpetanud mulle kirjutamise', vaid lihtsalt selle vastand. Sest see tähendab `Mu sõber kirjutas mulle minevikus ja kirjutab mulle ikka veel'. Seetõttu, kui me ütleme, et selline propositsioon na- gu `Mu sõber on lõpetanud mulle kirjutamise' pole teinekord ei tõene ega väär, räägime ebatäpselt. Sest tundub, et ütleme, et ei
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. tundi
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. või 3. tundi
annaabi.ee 
