Samasuse märk rõhutab, et asendusreegli (teisendusreegli) mõlemad pooled on täiesti samaväärsed ja neid saab alati üksteisega asendada. Kui teisendusreegleid kasutada tuletusreeglina, siis peab arvestama, et neil on üks eeldus ja üks lõppjäreldus ning et teisendusreeglid töötavad ka vastupidises suunas: teisendusreegli abil saadud tulemist saab omakorda järeldada sellesama eelduse, millest tulem tuletati. Tabel 9.2. Asendusreeglid (vrdl. lausearvutuse teisendusreeglitega). 10. De Morgani teoreem (DeM) ¬(p & q) ≡ ¬p ∨ ¬q; ¬(p ∨ q) ≡ ¬p & ¬q. 11. Kommutatiivsus (Com) (p ∨ q) ≡ (q ∨ p); (p & q) ≡ (q & p). 12. Assotsiatiivsus (Assoc) [p ∨ (q ∨ r)] ≡ [(p ∨ q) ∨ r]; [p & (q & r)] ≡ [(p & q) & r]. 13. Distributiivsus (Dist) [p & (q ∨ r)] ≡ [(p & q) ∨ (p & r)]; [p ∨ (q & r)] ≡ [(p ∨ q) & (p ∨ r)]. 14. Kahekordne eitus (DN) p ≡ ¬¬p. 15. Transpositsioon (Trans, Contra) p → q ≡ ¬q → ¬p. 5 16
Samasuse märk rõhutab, et asendusreegli (teisendusreegli) mõlemad pooled on täiesti samaväärsed ja neid saab alati üksteisega asendada. Kui teisendusreegleid kasutada tuletusreeglina, siis peab arvestama, et neil on üks eeldus ja üks lõppjäreldus ning et teisendusreeglid töötavad ka vastupidises suunas: teisendusreegli abil saadud tulemist saab omakorda järeldada sellesama eelduse, millest tulem tuletati. Tabel 9.2. Asendusreeglid (vrdl. lausearvutuse teisendusreeglitega). 10. De Morgani teoreem (DeM) ¬(p & q) ¬p ¬q; ¬(p q) ¬p & ¬q. 11. Kommutatiivsus (Com) (p q) (q p); (p & q) (q & p). 12. Assotsiatiivsus (Assoc) [p (q r)] [(p q) r]; [p & (q & r)] [(p & q) & r]. 13. Distributiivsus (Dist) [p & (q r)] [(p & q) (p & r)];
annaabi.ee 
