MIT《计算机科学数学》Chaper03-Logical Formulas

逻辑运算

NOT AND OR 等常用逻辑运算；

P IMPLIES Q：当P为false或者Q为true时候，整个命题为true；

XOR 表示异或，相异为真；

IF AND ONLY IF：与异或相反，相同为真；

对于数学公式而言，只关心前后单独命题的真假，而不讨论两个命题之间的联系；

任何复杂的逻辑语句都可以变形为A OR B的形式，简化后的逻辑运算可以减少操作的次数，减少对硬件的逻辑门电路的个数，减少能耗；

P IMPLIES Q的对偶命题（逆否命题）：NOT Q IMPLIES NOT P

P IFF Q 等价于（（P IMPLY Q）AND（Q IMPLY P））

命题有效性

命题的有效性是指命题的逻辑值都等于T的命题；

命题代数

析取：是指将一系列逻辑与的子式进行逻辑或运算，其中的逻辑与子式可以是变量的与运算或者是与取反后变量与运算

形如：( AND-term ) OR ( AND-term ) OR …

析取范式（a disjunctive normal form）DNF：参与逻辑或运算的每个子命题中都含有所有的变量或者变量的取反后的值；

形如：( AND-term ) OR ( AND-term ) OR …，其中每个AND-term 中必须出现所有的变量；

合取范式（CNF）：参与逻辑与运算的每个子命题中都含有所有的变量或者变量的取反后的值；

形如：( OR-term ) AND ( OR-term ) AND …

证明命题等价的常用等价公理：

A AND B ↔ B AND A （AND具有交换性）

(A AND B) AND C ↔ A AND (B AND C) （AND具有结合性）

T AND A ↔ A

F AND A ↔ F

A AND (B OR C) ↔ (A AND B) OR (A AND C)

A OR (B AND C) ↔ (A OR B) AND (A OR C)

A AND A ↔ A （A的幂等性）

A AND A ̅ ↔ F（AND的矛盾性）

NOT(A ̅) ↔ A

NOT(A AND B) ↔ A ̅ OR B ̅、NOT(A OR B) ↔ A ̅ AND B ̅ （德摩根律）

任何命题公式都可以使用上述的常用等价定理来化成析取范式或者合取范式；

两个等价的命题可以使用上述的常用等价定理来证明；

谓词公式

谓词公式（Predicate Formulas）：全称量词，存在量词，否定量词；

所有变量来自于同一个域时，域名可以省略；

谓词的德摩根律：NOT放在不同地方，任意符号与存在符号交换

NOT(∀x, P(x)) is equivalent to ∃x, NOT(P(x))