¬
∧
∨
⇒
⇔