第2章 逻辑--真与假的二元世界 真值表 文氏图(Venn diagram) 逻辑关系 非、 和、 或、 异或(exclusive or) 蕴含: 如A则B, A => B 德.摩根定律 (¬A)∨(¬B) = ¬(A∧B) (¬A)∧(¬B) = ¬(A∨B) 卡诺图(Karnaugh Map) 将所有命题的真假组合以二维表的形式表示的图。 三值逻辑的德.摩根定律 (!A) || (!B) = !(A && B) (!A) && (!B) = !(A || B)