1-3逻辑运算的基本规律.pptx

逻辑运算的基本规律 逻辑变量与逻辑函数 1、 逻辑变量与逻辑函数 在逻辑代数中，用英文字母表示的变量称为逻辑变量。在二值逻辑中，变量的取值 0 、1 。 逻辑函数： 如果输入逻辑变量 A、B、C ∙ ∙ ∙的取值确定之后，输出逻辑变量 Y 的值也被唯一确定，则称 Y 是 A、B、C ∙ ∙ ∙的逻辑函数。并记作 原变量和反变量： 字母上面无非号的称为原变量，有非号的叫做反变量。 逻辑变量： (4) 异或运算 (Exclusive—OR) (5) 同或运算 (Exclusive—NOR) (异或非) 0 1 1 0 0 0 0 1 1 0 1 1 = A⊙B 1 0 0 1 真值表 几种常用复合逻辑运算 基本和常用逻辑运算的逻辑符号 美国符号 国标符号 国标符号 曾用符号 美国符号 基本和常用逻辑运算的逻辑符号 或： 0 + 0 = 0 1 + 0 = 1 1 + 1 = 1 与： 0 · 0 = 0 0 · 1 = 0 1 · 1 = 1 非： 2、变量和常量的关系 或： A + 0 = A A + 1 = 1 与: A · 0 = 0 A · 1 = A 非： 逻辑代数—公式和定理 1、 常量之间的关系 3、与普通代数相似的定理 交换律 结合律 分配律 [例 ] 证明公式 [解] 法一：公式法 普通代数没有！ 用分配律展开 逻辑代数—公式和定理 法二：真值表法 相等 [解] 逻辑等式的证明方法 利用真值表 利用基本公式和基本定律 逻辑代数—公式和定理 4、逻辑代数的一些特殊定理 同一律 还原律 德 摩根定理 推广 思考：(1) 若已知 A + B = A + C，则 B = C 吗？ (2) 若已知 AB = AC，则 B = C 吗？ 逻辑代数—公式和定理 5、若干常用公式 (1) (2) (4) (3) (5) 逻辑代数—公式和定理 公式 (4) 证明： 公式 (5) 证明： 即 同理可证 摩根定理 逻辑代数—公式和定理 六、关于等式的两个重要规则 1、 代入规则： 例：已知 则 利用代入规则能扩展基本定律的应用。 (用 A + C 代替 A) 等式中某一变量都代之以一个逻辑函数，则等式仍然成立。 例：已知 则 逻辑代数—公式和定理 例如：已知 反演规则的应用：求逻辑函数的反函数 则 2、 反演规则： 将Y 式中“.”换成“+”,“+”换成“.” “0”换成“1”,“1”换成“0” 原变量换成反变量，反变量换成原变量 不属于单个变量上的长非号应保留 注意运算顺序 不属于单个变量 上的长非号保留 逻辑代数—公式和定理