Valime valemites F ja G esinevatele muutujatele suvalise väärtustuse. Kui valitud väärtustusel kehtib F = 1 ja G = 1, siis F ↔G = 1, kui aga valitud väärtustusel kehtib F = 0 ja G = 0, siis samuti F ↔ G = 1. 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 ),
annaabi.ee 
