离线数学知识转换笔记

-逻辑连接词： 非：!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->

>>阅读原文<<