p ∧ T ≡ p

p ∨ F ≡ p

p ∨ T ≡ T

p ∧ F ≡ F

p ∨ p ≡ p

p ∧ p ≡ p

p ∨ q ≡ q ∨ p

p ∧ q ≡ q ∧ p 

( p ∨ q ) ∨ r ≡ p ∨ ( q ∨ r )

( p ∧ q ) ∧ r ≡ p ∧ ( q ∧ r )

p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)  

p ∧ (q ∨ ) ≡ (p ∧ q) ∨ (p ∧ r)  

¬ ( p ∧ q )  ≡ ¬ p ∨ ¬ q

¬ ( p ∨ q )  ≡ ¬ p ∧ ¬ q

 p ∨ ( p ∧ q )  ≡  p  

p ∧ ( p ∨ q )  ≡  p

 p ∨ ¬ p  ≡  T (tautology)

 p ∧ ¬ p  ≡  F (contradiction)