∧ ∨ xor ≡ ⇒ ¬ T F