程序员的数学读书笔记（第二章）

第二章 逻辑——真与假的二元世界

完整性和排他性

• 逻辑完整性：没有遗漏（全面的判断，没有遗漏条件），即完整性，由此明确该规则无论什么情况都能适用。
• 逻辑排他性：没有重复（不重复判断，条件间不矛盾），即排他性，由此明确该结论不存在矛盾之处。

建立复杂命题

• 逻辑非

假设某命题为A，则A的逻辑非表达式如下:

¬A(notA)

真值表

 注:双重否定等于肯定，即¬¬A等于A

文氏图

• 逻辑与

命题“A并且B”的逻辑表达式如下:

A∧B(A and B)

真值表

 文氏图

 注:¬（A^B）的文氏图

• 逻辑或

命题“A或者B”的逻辑表达式如下:

A∨B(A or B)

真值表

文氏图

 

• 异或

异或的表达式如下:

A⊕B

真值表

 文氏图

 电路图

•  相等

表示“A和B相等”的逻辑表达式如下:

A=B

=是表示“相等”的运算符。

真值表

 文氏图

注:（¬（A⊕B））=(A=B)

• 蕴涵——若A则B

命题“若A则B”称为蕴涵，逻辑表达如下:

A⇒B

真值表

 文氏图

 注:A⇒B等于（¬A）∨B

所有逻辑运算真值表

 德摩根定律

• 德摩根定律形式:

（¬A）∨（¬B）=¬（A∧B）

（¬A）∧（¬B）=¬（A∨B）

• 德摩根定律对偶性:

true↔false

A↔¬A

∧↔∨

卡诺图

• 两个变量卡诺图

•  三个变量卡诺图

 包含未定义的逻辑

• 未定义，即得不到true和false中任何一个值，用undefined表示
• 带条件的逻辑与（A&&B）

A为true时，其值由B决定

A为false时，其值为false

A为undefined时，其值恒为undefined

• 带条件的逻辑非（A||B）

A为true时，其值为true

A为false时，其值由B决定

 

A为undefined时，其值恒为undefined

• 三值逻辑中的否定（！）

若A为undefined，则！A为undefined

• 三值逻辑的德摩根定律

（!A）||（!B）=!（A&&B）

（!A）&&（!B）=!（A||B）