逻辑代数中的三种基本运算 优质课件

三维图形
作用
效果 组成部分
作用
Boolean（布尔运算）通过对两个以上的物体进行并集、差集、交集的运算，从而得到新的物体形态。系统 提供了4种布尔运算方式：Union（并集）、Intersection（交集）和Subtraction（差集，包括A-B和B-A两种） 。
效果
物体在进行布尔运算后随时可以对两个运算对象进行修改操作，布尔运算的方式、效果也可以编辑修改，布 尔运算修改的过程可以记录为动画，表现神奇的切割效果。
表示方法
"∨"表示"或" "∧"表示"与". "┐"表示"非". "="表示"等价". 1和0表示"真"和"假" (还有一种表示,"+"表示"或", "·"表示"与"）
基本概念
基本概念
1.逻辑常量与变量：逻辑常量只有两个，即0和1，用来表示两个对立的逻辑状态。逻辑变量与普通代数一样， 也可以用字母、符号、数字及其组合来表示，但它们之间有着本质区别，因为逻辑常量的取值只有两个，即0和1， 而没有中间值。
组成部分
Boolean（布尔运算）的参数面板可分成三部分。 布尔运算练习模型:骰子 Pick Boolean（拾取布尔运算对象）卷展栏 该卷展栏用来拾取运算对象B。 在布尔运算中，两个原始对象被称为运算对象，一个叫运算对象A，另一个叫运算对象B。在建立布尔运算 前，首先要在视图中选择一个原始对象，这时Boolean按钮才可以使用。进入布尔运算命令面板后，单击Pick Operand B命令按钮来选择第二个运算对象。 ·Pick Operand B（拾取运算对象B）：单击该按钮，在场景中选择另一个物体完成布尔合成。其下的4个 选项用来控制运算对象B的属性，它们要在拾取运算对象B之前确定。 ·R e f e r e n c e （ 参 考 ） ： 将 原 始 对 象 的 参 考 复 制 品 作 为 运 算 对 象 B ， 以 后 改 变 原 始 对 象 ， 也 会 同 时 改 变 布 尔 物体中的运算对象B，但改变运算对象B，不会改变原始对象。 ·Copy（复制）：将原始对象复制一个作为运算对象B，而不改变原始对象。当原始对象还要作其他之用时 选用该方式。

________
A B A B
______
A (B C) A (B C) A B C
__________ _____
A ( B C ) A B C A B C
________
3.反演定理
对于任意一个逻辑式 Y ，若将其中所有的“•”换成 “＋”， “＋”换成“•”，0换成1，1换成0，原变量 __ 换成反变量，反变量换成原变量，则得到的结果就是 Y
2、非逻辑真值表 A 0 1 Y
3 、非逻辑函数式
Y=A 或： Y A
1
0
4、 非逻辑符号
A
1
Y
或： 5 、 非逻辑运算 0=1 1=0
四、 几种最常见的复合逻辑运算
1 、 与非 Y=A B A B & Y
A 0 0 1 1
B 0 1 0 1
Y 1 1 1 0
3 、 同或 Y= AB+A B =A⊙B A B Y
（还原律）
证明： A B A B A ( B B ) A 1 A
4.
A ( A B) A
（吸收律）
证明： A ( A B) A A A B A A B A (1 B) A 1 A
5. A B A C B C A B A C
c. 非非律： ( A) A
A+A=A
d. 吸收律：A + A B = A
A (A+B) = A
A AB A B
e. 摩根定律： ( AB) A B
A .B A B 反演律（摩根定律）： A B A B

已知 Y2 A B C D C 则
Y2 ( A B) C D C
七、逻辑代数中的基本运算法 则
A BC （2）先括号内再括号外 A ( B C )
（1）先乘后加 : （3）当变量名都是单字母（A B C D ) 表示时，乘法符号可以省略不写。 如：
A B C D
证：A B A B A( B B) A 15
A AB
A
推广
A A(
) A
证：A AB A(1 B) A
16
A AB
A B
证： A AB ( A A)( A B) A B
17
A ( A B) A
六、关于等式的三个规则
A
逻辑函数式
B E
Y
Y A B
逻 辑 符 号
A B
≥1
Y
3. 非逻辑： 只要条件具备，事件便不会发生；条件不具备， 事件一定发生的逻辑关系－－非逻辑关系。
R
真值表
灯Y
电源
开关A
A 0 1
Y 1 0
逻辑函数式
Y A
逻 辑 符 号
A
1
Y
2. 几种常用复合逻辑运算
(1) 与非逻辑
(NAND)
Y1 AB
(2) 或非逻辑
(NOR)
A B A B
&
Y1
Y1、Y2 的真值表
A B Y1 Y2 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0
≥1
Y2
Y2 A B
(3) 与或非逻辑
(AND – OR – INVERT)
Y3 AB CD

图形符号
A
L
B
23
2. 或逻辑
逻辑表达式 L= A + B
只有决定某一事件的原因有一个或 一个以上具备，这一事件才能发生
AB L 00 0 01 1 10 1 11 1 或逻辑真值表
图形符号
A 1
L
B
24
3. 非逻辑
当决定某一事件的条件满足时，事 件不发生；反之事件发生
非逻辑真值表
AL
图形符号
0
1
1
0
逻辑表达式 F= A
A
1
L
25
1.3.2 常用复合逻辑运算
与非逻辑运算
或非逻辑运算
L=AB
L=A+B
L
L
与或非逻辑运算 L=AB+CD
L
26
异或运算
AB 00 01 10 11
L 0 1
1 0
逻辑表达式
L=AB=AB+ AB
图A 形符号=1
B
L
同或运算
AB 00 01 10
L 1 0
0
逻辑表达式 L=A B= AB
利用真值表
用真值表证明反演律
A B AB A+ B A• B A+B
00 1
1
1
1
01 1
1
0
0
10 1
1
0
0
11 0
0
0
0
A• B= A+B A+ B=AB
31
1.4.2 逻辑代数中的基本规则
1. 代入规则
任何一个含有某变量的等式，如果等式中 所有出现此变量的位置均代之以一个逻辑函数 式，则此等式依然成立。