程序员的数学 第二章 逻辑

一
逻辑是消除歧义的工具
逻辑冰冷且机械死板
“或者”的完整性和排他性
能够判断对错的陈述句叫命题 真假

逻辑的遗漏问题-有没有考虑到所有情况呢
-有没有重复呢

解决重复和遗漏问题 -画一根数轴 -注意处理边界值

if else 逻辑的基本是两个分支

二
真值表没有遗漏和重复 兼顾了完整性和排他性

逻辑与 A^B 		逻辑或 AVB
**/异或（不能都满足 他现在在大阪 他现在在东京）
A 异或B:A 圆圈里加号 B**
**/相等（AB真值相同是为1 不同时为0）**
A=B
**/蕴含：若A则B 
(注意：只有 A为真 B为假 命题为 false 其他均为true ）
	 A→B ==(非A)VB (韦恩图）==非B→非A（逆否命题）

文氏图 ==韦恩图

德摩根定律 ：提取非号 AB之间变号

对偶性：在表达式中 分别将true false A和非A ^和V 进行互换 就能得到该逻辑表达式的否定式 它们相互成对

卡诺图：将所有命题的真假组合以二维表的形式展示的图 简化逻辑表达式

true false undefined

逻辑与 &&、逻辑或|| 会根据A的条件决定是否看B