C
p
q
r
¬
∧
∨
→
↔
(
)
=
更多符号和变元可从键盘输入
点击查看键盘符号表
取反
合取
析取
异或
~
&
|
^
蕴涵
反蕴涵
等价
>
<
=