A ∧ A ≡ A
A ∨ A ≡ A
A ∧ B ≡ B ∧ A
A ∨ B ≡ B ∨ A
A ∧ (B ∧ C) ≡ (A ∧ B) ∧ C
A ∨ (B ∨ C) ≡ (A ∨ B) ∨ C
A ∧ (A ∨ B) ≡ A
A ∨ (A ∧ B) ≡ A
A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C)
A ∨ (B ∧ C) ≡ (A ∨ B) ∧ (A ∨ C)
A ∧ (¬A) ≡ false
A ∨ (¬A) ≡ true
¬(¬A) ≡ A
¬(A ∧ B) ≡ (¬A) ∨ (¬B)
¬(A ∨ B) ≡ (¬A) ∧ (¬B)
A ⇒ B ≡ (¬A) ∨ B
A ⇔ B ≡ (A ⇒ B) ∧ (B ⇒ A)
Highest first: ¬, ∧, ∨, ⇒, ⇔