读《程序员数学》2-逻辑

作者: shine100 | 来源:发表于2019-06-19 15:07 被阅读0次

逻辑是消除歧义的工具。
1、能够判断对错的陈述句叫做命题（proposition）。
命题正确则为真，反之为假。
如：
明天会下雨吗？ -- 疑问句
明天可能下雨。 -- 猜测，无法判断
明天会下雨。 -- 命题，明天下雨就是真，明天不下雨就是假。

2、在考虑规则时，确认是否“遗漏”和“重复”是非常重要的
没有“遗漏”，即具备完整性。此明确该规则包含了所有情况。
没有“重复”，即具备排他性，此明确该规则不存在交叉之处。
在处理大问题时，将其分解问多个小问题，此时要注意的就是完整性和排他性。

3、逻辑非 $\overline A$

真值表是表征逻辑事件输入和输出之间全部可能状态的表格。真值表没有遗漏和重复，兼顾完整性和排他性。

文氏图是标识集合关系的图，外围矩形标识全集。

（1）真值表

image.png

（2）文氏图
命题A：电影院1.2米及以下不要钱

image.png

命题 $\overline A$ ：1.2米以上都需要购买电影票

image.png

4、逻辑与 $A \cap B$
（1）真值表

image.png

（2）文氏图

image.png

5、逻辑或 $A \cup B$
（1）真值表

image.png

（2）文氏图

image.png

6、异或 $A \oplus B$
命题A “我现在在武汉”
命题B “我现在在北京”
组合起来"我现在在武汉或者我现在在北京，但我只能在其中一处"。这就是异或： A或B 但不能同时满足。
（1）真值表

image.png

（2）文氏图

image.png

7、相等 A = B
（1）真值表

image.png

（2）文氏图
（并不是两个重叠起来的圆）

image.png

这种无论A和B的真假，恒等于true的命题称为恒真命题。

8、蕴含 A => B
命题A“今天下雨”
命题B“我不出门”
组合起来“如果今天下雨，我就不出门。”（不下雨的情况没有提，也就是说可能出门也可能不出门）
这就是蕴含：若A则B，A => B

组合起来的另一种情况 “如果今天下雨，我就不出门。不下雨，我就出门”
这就是A=B （注意和上面的区别）

（1）真值表

image.png

（2）文氏图

image.png

$\overline B => \overline A称为 A => B的逆否命题$
如果原命题为真，则逆否命题为真，若原命题为假，则逆否命题为假。

9、德.摩根定律
$\overline A \cup \overline B = \overline {A \cap B}$
$\overline A \cap \overline B = \overline {A \cup B}$
（可以根据对偶性记忆
$A 变为 \overline A ，B变为 \overline B，\cap 变为 \cup，\cup 变为 \cap$ ）

（1）真值表

image.png

（2）文氏图

image.png

10、卡诺图
卡诺图是将所有命题的真假组合以二维表的形式表示的图。
（1）卡罗图结构特点：
a、n个变量的卡诺图由2^n个小方格组成，每个小方格代表一个最小项。如 2个变量的卡诺图有4格。
b、在几何位置上相邻的最小项小方格在逻辑上也必定是相邻的，即相邻两项中有一个变量是互补的。如00横着相邻只能是01 不能是11，竖着相邻的只能是10也不能是11。

（2）卡诺图化简逻辑函数的基本原理，
(固定一个变量罗列出所有情况，则可以简化为此变量)
a. 依据关系式
$AB + A\overline B = A$
，即两个“与”项中，如果只有一个变量相反，其余变量均相同，则这两个“与”项可以合并成一项，消去其中互反的变量。