数学课第二章

人们正常语言表达笼统,有歧义.所以在处理逻辑时候，将其转为逻辑语言，也就是运行于计算机语言。

逻辑必须具有完整性(也就说包含全部情况)。排他性(也就是说不能重复)。

将一个正常语言用逻辑语言描述。必须要注意边界情况。

主要的逻辑运算:  1. 非 2. 且  3.或 4. 异或 5. 等于 6. 若A则B 

注意点:  AB异或的取反的结果 为 A=B,  若命题A正确,则逆否命题也是正确.  例子: 若 A => B 则 非 B => 非A 这些都可以用真值表进行验证.

德摩根定律:  

例子1:非A 与 B 表示为:   A或者非B的值的 取反  

例子2: 表达式也可用  if(a>b || c > d) =>  if( !(a<= b && c<=d)) 

卡诺图是针对多分支逻辑,可以从图上归纳出明确组成. 注意卡诺图要包含所有情况.  从0开始