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 0 1 0 01 0
alternatiivi küsimusega tegeleda lõppjärelduse tõlgendamisel. MITTEVÄLISTAVAD DILEMMAD EHK DILEMMAD LAUSEARVUTUSE AJASTUL Paragrahvi alguses peatusime korraks asjaolul, et omaaegse liigitava süllogismi on tänapäeval suurel määral asendanud disjunktiivne süllogism, st välistava disjunktsiooni asemel on kasutusel harilik disjunktsioon. Sama olukord ka dilemmade puhul. Asendame alternatiivid mittevälistavate disjunktsioonidega. Saadud süsteem sobib lausearvutusse ning mõnedki alternatiividega seotud probleemid kaovad. D.10.6.1. Konstruktiivne dilemma on süllogism, mille üks eeldus koosneb kahest materiaalsest implikatsioonist ning teine eeldus on disjunktsioon implikatsioonide aluste vahel, sümbolkujul [(p→ q) & (t → s)], p ∨ t ⊨ q ∨ s. Tabel 10.8. Konstruktiivse (mittevälistava) dilemma kehtivuse hindamise tabel. Uuritav
alternatiivi küsimusega tegeleda lõppjärelduse tõlgendamisel. MITTEVÄLISTAVAD DILEMMAD EHK DILEMMAD LAUSEARVUTUSE AJASTUL Paragrahvi alguses peatusime korraks asjaolul, et omaaegse liigitava süllogismi on tänapäeval suurel määral asendanud disjunktiivne süllogism, st välistava disjunktsiooni asemel on kasutusel harilik disjunktsioon. Sama olukord ka dilemmade puhul. Asendame alternatiivid mittevälistavate disjunktsioonidega. Saadud süsteem sobib lausearvutusse ning mõnedki alternatiividega seotud probleemid kaovad. D.10.6.1. Konstruktiivne dilemma on süllogism, mille üks eeldus koosneb kahest materiaalsest implikatsioonist ning teine eeldus on disjunktsioon implikatsioonide aluste vahel, sümbolkujul [(p q) & (t s)], p t q s. Tabel 10.8. Konstruktiivse (mittevälistava) dilemma kehtivuse hindamise tabel. Uuritav skeem on [(p q) & (t s)], p t; q s, mõlema eelduse tõesust võib käsitleda kui
annaabi.ee 
