《程序员的数学》第2章 逻辑——真与假的二元世界，知识点

《程序员的数学》第2章 逻辑——真与假的二元世界，知识点
在这里插入图片描述
真值表：没有遗漏和重复，兼顾完整性和排他性
文氏图：表示集合关系的图
逻辑表达式：
诺卡图：是将多有命题的真假组合以二维表的形式表示的图
卡诺图用于简化逻辑表达式、设计逻辑电路等
德·摩根定律：
(!A)&&(!B)=!(A||B)
(!A)||(!B)=!(A&&B)
对偶性
True → False
A → － A
∧ → ∨
对应位置替换，
新逻辑表达式与原逻辑表达式的否定式相等
1、什么是命题
能够判断对错的陈述句叫做命题
2、二值逻辑
True
False
真与假

3、三值逻辑
True
False
Unfined
真，假，未定义
4、什么是完整性和排他性
没有‘遗漏’，即完整性
没有‘重复’，即排他性
5、建立复杂的命题
逻辑非：－A，代码符号（！A）
逻辑与：A∧B，代码符号（&&）
逻辑或：A∨B，代码符号（||）
逻辑异或：A㈩B
相等：
蕴涵（比较难懂）
逆命题
否命题
逆否命题