程序员的数学 - 逻辑 - 阅读小结

逻辑是消除歧义的工具

兼顾“完整性”和“排他性”

没有“遗漏”，即具备完整性，由此明确该规则无论在什么情况下都能够适用
没有“重复”，即具备排他性，由此明确该规则不存在矛盾之处。
在遇到大问题时，通常将其分解为多个小问题。这时常用的方法就是检查它的完整性和排他性。即使是难以解决的问题，也能通过这种方法转换成容易解决的小问题。

真值表

逻辑表达式的严密定义

文氏图

直观理解逻辑

卡诺图

常用于简化复杂逻辑表达式

德 摩根定律

“非A” 或者 “非B” ， 和 非“A与B”是等价的。
“非A” 并且 “非B” ， 和 非“A 或 B”是等价的。