¬
⋀
⋁
→
⇔
(
)