väärtusel väär. Kehtestatav valem lausearvutuse valemit F nimetatakse kehtestatavaks, kui ta on vähemalt ühel väärtusel tõene. · 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
Järelikult on valem F ↔ G tõene sõltumata väärtustusest ehk samaselt tõene. Eeldame nüüd ümberpöördult, et valem F ↔G on samaselt tõene. Valime selles valemis esinevatele muutujatele suvalise väärtustuse. Etekvivalents on tõene, siis kas F = 1, G = 1 või F = 0, G = 0. See tähendab, valemite F ja G tõeväärtused on suvalisel väärtustusel samad. Vastavalt definitsioonile on valemid F ja G samaväärsed. Lausearvutuse põhisamaväärused o Idempotentsuse seadused: F&F≡F, F∨F≡F. o Kommutatiivsuse seadused: F&G≡G&F, F∨G≡G∨F. o Assotsiatiivsuse seadused: 5 (F & G) & H ≡ F & (G & H ), (F ∨ G) ∨ H ≡ F ∨ (G ∨ H ). o Distributiivsuse seadused: F & (G ∨ H ) ≡ F & G ∨ F & H , F ∨ G & H ≡ (F ∨ G) & (F ∨ H ). o Neelamisseadused: F & (F ∨ G) ≡ F , F∨F&G≡F. o De Morgani seadused:
annaabi.ee 
