离线数学知识转换笔记

-逻辑连接词：

非：!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)