~A ~B A ∨ B A ∧ B A ∨ B ~(A ∨ B)
~(A ∧ B) A ⇒ B B ⇒ A A ⇔ B A ∧ ~B
        A ⇒ B
B ∧ ~A
        B ⇒ A

A

   

B