DME Eksamiks kordamise konspekt
· Iga samaselt tõene valem on kehtestatav
· Kui valem ei ole kehtestatav, siis on ta samaselt väär
Samaväärsed valemid - Valemeid F ja G nimetatakse samaväärseteks, kui nende
tõeväärtused on võrdsed igal neis valemeid esinevate muutujate väärtustel.
Lausearvutuse põhisamaväärsused:
1. Idempotentsuse seadused
a. F&FF FvFF
2. Kommutatiivsuse omadused
a. F&GG&F FvGGvF
3. Assotsiatiivsuse seadused
a. (F&G)&HF&(G&H) (FvG)vHFv(GvH)
4. Distributiivsuse seadused
a. F&(GvH)F&GvF&H FvG&H(FvG)&(FvH)
5. Neelamisseadused
a. F&(FvG)F FvF&GF
1
6. De Morgani seadused
a. (F&G)=FvG (FvG)=F&G
7. Kahekordse eituse seadus
annaabi.ee 
