16 p = p & p. 5. Kahekordne eitus (DN) p = ¬¬p. 6. De Morgani teoreem (DeM) ¬(p & q) = ¬p ∨ ¬q; ¬(p ∨ q) = ¬p & ¬q. 7. Materiaalne implikatsioon (CE, Impl) p → q = ¬p ∨ q. 8. Ümberpööramine (Contra, Trans) p → q = ¬q → ¬p. 9. Materiaalne ekvivalents (Bic) p↔q = (p → q) & (q → p); p↔q = (p & q) ∨ (¬p & ¬q). 10. Väljaviimisreegel (Exp) (p & q) → r = p → (q → r). Täiendavaid (tuletatud) lausearvutuse asendusreegleid, mis on suure praktilise väärtusega. 11. Taandamine (11.–17.): p & 1 = p. 12. p & 0 = 0. 13. p & ¬p = 0. 14. p ∨ 1 = 1. 15. p ∨ 0 = p. 16. p ∨ ¬p = 1. 17. p → p = 1. 18. Implikatsiooni eitus ¬(p → q) = p & ¬q (tuleneb reeglitest CE ja DeM). 19. Lihtsustamine (p ∨ q) & (¬p ∨ q) = q. 20. Neeldumine p & (p ∨ q) = p; p ∨ (p & q) = p. Tuletatud reeglite saamiseks kasutatakse tõeväärtuste 1 ja 0 omadusi. Nt tõese lause
¬(p q) = ¬p & ¬q. 7. Materiaalne implikatsioon (CE, Impl) p q = ¬p q. 8. Ümberpööramine (Contra, Trans) p q = ¬q ¬p. 9. Materiaalne ekvivalents (Bic) p q = (p q) & (q p); p q = (p & q) (¬p & ¬q). 10. Väljaviimisreegel (Exp) (p & q) r = p (q r). Täiendavaid (tuletatud) lausearvutuse asendusreegleid, mis on suure praktilise väärtusega. 11. Taandamine (11.17.): p & 1 = p. 12. p & 0 = 0. 13. p & ¬p = 0. 14. p 1 = 1. 15. p 0 = p. 16. p ¬p = 1. 17. p p = 1. 18. Implikatsiooni eitus ¬(p q) = p & ¬q (tuleneb reeglitest CE ja DeM). 19. Lihtsustamine (p q) & (¬p q) = q. 20
annaabi.ee 
