[图解]建模相关的基础知识-03

1
00:00:00,670 --> 00:00:01,780
关于连接符

2
00:00:02,390 --> 00:00:04,380
下一个我们要看的，就是说

3
00:00:05,000 --> 00:00:06,320
连接符的增加

4
00:00:06,330 --> 00:00:07,520
和减少的问题

5
00:00:09,160 --> 00:00:10,260
我们前面列出来的是

6
00:00:10,270 --> 00:00:15,250
5个连接符，非、与、或、蕴含、等价

7
00:00:16,200 --> 00:00:17,420
为什么刚好是5个

8
00:00:18,090 --> 00:00:21,560
并不是说逻辑运算就是这5个

9
00:00:24,240 --> 00:00:28,230
而是从历史来看，用的最多是这5个

10
00:00:29,020 --> 00:00:29,970
为什么是这样

11
00:00:30,500 --> 00:00:32,450
背后是历史上的发展了

12
00:00:33,720 --> 00:00:36,140
如果是换一个种族或者换一个外星人

13
00:00:36,760 --> 00:00:39,140
很可能它的逻辑运算符常用的

14
00:00:39,710 --> 00:00:40,870
可能就不是这5个

15
00:00:42,870 --> 00:00:44,720
当然我们在这个基础上

16
00:00:45,490 --> 00:00:47,710
还可以设计出更多的运算符

17
00:00:48,350 --> 00:00:50,950
实际上现在使用的还有很多

18
00:00:50,960 --> 00:00:52,650
异或，XOR

19
00:00:55,220 --> 00:01:04,280
非或，NOR，异非或，都可以

20
00:01:04,790 --> 00:01:10,880
无非是，给你变量P、Q、R是真是假

21
00:01:10,890 --> 00:01:12,750
那边是结果

22
00:01:13,650 --> 00:01:18,870
你就映射过去，你可以把每个映射

23
00:01:18,880 --> 00:01:21,190
都搞1个运算符都可以

24
00:01:21,200 --> 00:01:22,270
只要你乐意的话

25
00:01:27,410 --> 00:01:29,130
5个，这只是

26
00:01:29,760 --> 00:01:32,720
常规的，就是我们历史习惯而已

27
00:01:33,790 --> 00:01:35,710
实际上也可以把它减少到3个

28
00:01:36,250 --> 00:01:42,080
比如说，P蕴含Q

29
00:01:42,090 --> 00:01:43,320
可以表达成

30
00:01:45,480 --> 00:01:52,480
非P或Q，它们的结果是一样的

31
00:01:55,070 --> 00:01:58,730
那么这个就是简化这种蕴含关系

32
00:01:58,740 --> 00:01:59,970
或等价关系的

33
00:01:59,980 --> 00:02:02,830
一个常用的方法了

34
00:02:02,840 --> 00:02:04,870
把它变成或、与的计算

35
00:02:05,330 --> 00:02:06,090
然后应用后面

36
00:02:06,100 --> 00:02:09,690
我们要用的结合律

37
00:02:09,780 --> 00:02:12,490
分配律、德摩跟定律什么之类

38
00:02:12,660 --> 00:02:14,010

39
00:02:14,720 --> 00:02:17,920
来简化我们的逻辑表达式

40
00:02:19,510 --> 00:02:24,020
等价可以表达成P与Q

41
00:02:25,260 --> 00:02:30,580
或 非P与非Q，这样 

42
00:02:31,550 --> 00:02:34,890
后面这两个连接符就可以把它删掉了

43
00:02:34,900 --> 00:02:35,250
对不对

44
00:02:35,760 --> 00:02:39,260
我们就可以不用这两个连接符

45
00:02:41,780 --> 00:02:44,120
如果要再进一步削减，还可以更少

46
00:02:44,290 --> 00:02:45,520

47
00:02:45,530 --> 00:02:47,520
最少可以减少到一个了

48
00:02:51,370 --> 00:02:54,910
NAND，翻译叫非与

49
00:02:54,920 --> 00:02:57,670
或者叫与非，一般非与

50
00:02:58,360 --> 00:03:00,110
这个应该叫非与

51
00:03:00,120 --> 00:03:01,870
但是像电子线路

52
00:03:02,620 --> 00:03:06,160
在逻辑上，与非门这个是更常用了

53
00:03:06,620 --> 00:03:11,680
但是逻辑运算，非与，两个是一个意思

54
00:03:12,860 --> 00:03:17,790
所有的这些计算都可以从非与计算

55
00:03:18,970 --> 00:03:22,090
我们只需要定义非与的真值表就可以了

56
00:03:22,500 --> 00:03:26,050
其他的都可以从非与推导出来

57
00:03:27,680 --> 00:03:32,670
比如说，我们看非与这个计算

58
00:03:37,070 --> 00:03:39,260
如果P为真Q为真

59
00:03:39,630 --> 00:03:43,850
那非与就是F，实际上就是与的非了

60
00:03:44,110 --> 00:03:45,100
与之后再非

61
00:03:45,960 --> 00:03:48,450
但我们不能这样定义

62
00:03:49,450 --> 00:03:51,600
你说与之后再非

63
00:03:51,610 --> 00:03:55,970
那就是与和非是基础了

64
00:03:56,740 --> 00:03:58,450
必须要有什么叫与，什么叫非

65
00:03:58,460 --> 00:03:59,210
不能这样说

66
00:04:00,490 --> 00:04:02,150
因为它是根基

67
00:04:03,780 --> 00:04:06,100
所以只能通过真值表

68
00:04:07,070 --> 00:04:08,220
来给它做定义

69
00:04:08,980 --> 00:04:11,800
虽然我们理解上可以这样理解

70
00:04:11,810 --> 00:04:13,160
但是定义上不能这样

71
00:04:13,850 --> 00:04:22,020
真真，那么这是假，真假，真，假真，真

72
00:04:22,190 --> 00:04:23,340
这肯定一样的

73
00:04:23,910 --> 00:04:28,520
假假，也就是说，只有两个都为真的时候

74
00:04:29,640 --> 00:04:31,390
它结果才是假的

75
00:04:32,280 --> 00:04:34,960
那么这跟与是刚好相反的

76
00:04:35,650 --> 00:04:36,760
与运算符是什么

77
00:04:36,770 --> 00:04:39,080
只有两个为真的时候结果才为真

78
00:04:40,320 --> 00:04:40,920
其他都是假

79
00:04:41,650 --> 00:04:43,450
而这个里面只有两个

80
00:04:44,050 --> 00:04:45,240
为真的时候它才是假

81
00:04:47,130 --> 00:04:48,010
刚好相反的

82
00:04:49,080 --> 00:04:50,060
其他的都是真

83
00:04:52,610 --> 00:04:56,300
用这个就可以表达出我们其他运算符了

84
00:04:56,310 --> 00:05:00,870
比如说，表达非

85
00:05:00,880 --> 00:05:04,900
我们可以通过真值表来判断

86
00:05:04,910 --> 00:05:10,530
这个变量是P，P为真

87
00:05:11,100 --> 00:05:18,150
非P就是F，P为F，非P就是T

88
00:05:21,270 --> 00:05:21,820
我们看

1
00:00:00,850 --> 00:00:04,110
我们来看上面非与的真值表

2
00:00:04,900 --> 00:00:07,440
用这个来计算一下

3
00:00:07,840 --> 00:00:11,350
P跟自己非与的计算的时候

4
00:00:11,910 --> 00:00:12,410
结果怎么样

5
00:00:12,420 --> 00:00:14,850
我们看，P是T的时候

6
00:00:15,580 --> 00:00:18,900
那么P非与P，就是，T，T

7
00:00:19,400 --> 00:00:20,700
那就是F了

8
00:00:23,620 --> 00:00:25,290
如果P是F 

9
00:00:25,300 --> 00:00:30,180
非与就是P非与自己，F|F

10
00:00:31,650 --> 00:00:32,040
这里

11
00:00:33,100 --> 00:00:35,610
也就是T，所以你看它的真值表

12
00:00:35,620 --> 00:00:37,850
跟非P这个是一样的

13
00:00:38,670 --> 00:00:39,780
所以这个是成立的

14
00:00:39,990 --> 00:00:42,120
就是非P 

15
00:00:42,130 --> 00:00:44,590
等价于P自己

16
00:00:45,770 --> 00:00:47,690
非与自己，可以表达成这个

17
00:00:48,660 --> 00:00:50,590
非的符号就可以不用了

18
00:00:52,200 --> 00:00:53,170
就可以削减下来

19
00:00:55,430 --> 00:01:02,320
当然我们实际应用中并不需要这样削减

20
00:01:02,330 --> 00:01:03,720
因为这样削减的话

21
00:01:04,540 --> 00:01:07,210
对我们人来说并不是合算的

22
00:01:08,420 --> 00:01:11,170
就像我们四则运算加减乘除一样

23
00:01:13,010 --> 00:01:16,670
减号、乘号这些怎么样

24
00:01:16,680 --> 00:01:18,510
都是衍生出来的

25
00:01:19,080 --> 00:01:22,980
唯独加法是需要定义的

26
00:01:23,950 --> 00:01:26,180
所有的什么，包括1+1=2

27
00:01:26,190 --> 00:01:29,680
我们如果看过数学什么的

28
00:01:29,970 --> 00:01:31,440
实分析什么之类的

29
00:01:31,450 --> 00:01:33,320
1+1=2也是什么

30
00:01:33,330 --> 00:01:34,480
也是推理出来的

31
00:01:35,540 --> 00:01:39,260
是通过皮亚诺公理推理出来的

32
00:01:39,350 --> 00:01:42,550
不是说自然就是1+1=2，不是那样的

33
00:01:44,250 --> 00:01:45,970
它只要定义加法就够了

34
00:01:47,860 --> 00:01:48,930
这个也是一样的

35
00:01:50,730 --> 00:01:51,870
但是我们平时用的时候

36
00:01:51,880 --> 00:01:53,190
并没有说只用一个加法

37
00:01:53,200 --> 00:01:55,310
我们依然用乘法除法

38
00:01:55,900 --> 00:01:58,010
对数指数

39
00:02:00,580 --> 00:02:03,730
但是背后的根源是可以推导出来的

40
00:02:05,020 --> 00:02:08,280
这比较简单了，有了这个，其他就好办了

41
00:02:08,290 --> 00:02:11,600
比如说，用非与来表达与

42
00:02:13,120 --> 00:02:14,160
怎么表达，一样的

43
00:02:15,120 --> 00:02:21,190
P，Q，P与Q，T

44
00:02:22,110 --> 00:02:22,880
前面都有了

45
00:02:24,830 --> 00:02:34,810
我们看P与Q，我们来看P非与Q是什么

46
00:02:35,200 --> 00:02:37,170
非与实际上就是与的非

47
00:02:37,650 --> 00:02:38,690
这样反过来

48
00:02:38,700 --> 00:02:42,950
你看，T，T，这里上面就F，T，F，T

49
00:02:44,150 --> 00:02:44,400

50
00:02:44,490 --> 00:02:47,420
刚好反过来

51
00:02:49,670 --> 00:02:53,410
所以就是非与

52
00:02:54,420 --> 00:02:56,110
再非一遍

53
00:02:56,120 --> 00:03:00,940
非与的非，实际上就是P非与Q之后

54
00:03:00,950 --> 00:03:02,100
前面再非

55
00:03:05,040 --> 00:03:08,910
如果允许用非运算符的话，这样就可以了

56
00:03:09,280 --> 00:03:13,730
P与Q就相当于这个了

57
00:03:15,070 --> 00:03:17,810
但如果说你不允许用非

58
00:03:18,430 --> 00:03:21,670
因为非已经第2个符号了

59
00:03:22,420 --> 00:03:24,330
那就把它套上去

60
00:03:24,340 --> 00:03:25,570
上面就来

61
00:03:25,580 --> 00:03:30,840
非P就等于P非与P，这个时候

62
00:03:31,360 --> 00:03:38,210
非P非与Q，以这个为变量的话就相当于什么

63
00:03:38,830 --> 00:03:42,320
把这个再非与一遍

64
00:03:43,730 --> 00:03:44,930
这个里面还可以解开

65
00:03:45,020 --> 00:03:46,690
我们现在就保留这样就可以了

66
00:03:46,960 --> 00:03:51,210
所以P与Q，就相当于，等价于

67
00:03:51,220 --> 00:03:55,370
P非与Q，再非与自己，这样来

68
00:03:59,290 --> 00:04:03,280
这是连接符背后的关系