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