-逻辑连接词：
非：!a = 否定：¬a
与：a&b = 合取：a ∧ b
或：a|b = 析取：a ∨ b
异或（ab不同为1）：a⊕b/a^b = 不兼容或（二者不可同时发生）：(¬a ∧ b) ∨ (a ∧¬b)
同或（ab相同为1）：a⊙b = 当且仅当 a<->b
条件连接词：a->b，只有a=1且b=0值才为0，否则全为1。
-当、仅当、当且仅当：
p当q，q是p的充分条件，q->p
p仅当q，q是p的必要条件，p->q
p当且仅当q，q是p的充要条件，p<->q
重言式-永真；矛盾式-永假；可满足式-非永假
德摩根定律：跟代数的一样：
（图1：基本等价式。Source:https://blog.csdn.net/weixin_39408986/article/details/87944921)