離線數學知識轉換筆記

-邏輯連接詞： 非：!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->

>>阅读原文<<