逻辑代数基础.pptxVIP

逻辑代数基础会计学第1页/共40页第二节 三种基本逻辑运算与(AND)或(OR)非(NOT)常用的复合逻辑运算与非、或非、与或非、异或、同或第2页/共40页第三节 逻辑代数的基本公式和常用公式 基本公式 常用公式 逻辑代数的基本定理第3页/共40页一、基本公式重叠律互补律第4页/共40页交换律结合律分配律第5页/共40页德·摩根定理还原律可通过真值表进行验证第6页/共40页二、若干常用公式用基本公式或真值表来验证第7页/共40页三、逻辑代数的基本定理1.代入定理在任何一个包含变量 A 的逻辑等式中，若以另外一个逻辑式代入式中所有 A 的位置，则等式仍然成立。[例2.3.1]：用逻辑式CD代入公式AB+A=A中所有A的位置，则等式CDB+CD=CD仍然成立。第8页/共40页2.反演定理对任一逻辑式 Y，若将其中所有的乘换成加，加换成乘，0 换成 1 ，1 换成 0，原变量换成反变量，反变量换成原变量，则得到的结果就是 Y 的反。[例2.3.2]：若则第9页/共40页[例2.3.3]：若则注意：Δ 遵守“括号、乘、加”的运算优先次序。Δ 不属于单个变量上的反号应保留不变。第10页/共40页3.对偶定理若两逻辑式相等，则它们的对偶式也相等对偶式：对于任何一个逻辑式 Y， 若将其中的 “·” 换成 “+”， “+” 换成 “·”，0 换成 1，1 换成 0， 则得到一个新的逻辑式 YD， 则 YD 叫做 Y 的对偶式。第11页/共40页[例2.3.4]：若则[例2.3.5]：若则第12页/共40页第四节 逻辑函数及其表示方法 逻辑函数 逻辑函数的表示方法 逻辑函数的两种标准形式第13页/共40页一、逻辑函数各种逻辑关系中，输入与输出之间的函数关系，称为逻辑函数。表示为：变量和输出（函数）的取值只有0和1两种状态，这种逻辑函数是二值逻辑函数。第14页/共40页任何一个具体的因果关系都可以用一个逻辑函数描述[例2.4.1]三人表决电路：三人A、B、C当中有两人或两人以上同意时，表决结果Y为通过，否则表决结果Y为没通过，表决结果Y的状态（通过与没通过）是三人A，B，C状态（同意与不同意）的函数。逻辑函数为：第15页/共40页二、逻辑函数的表示方法 逻辑真值表 逻辑函数式（逻辑式或函数式） 逻辑图 波形图 卡诺图第16页/共40页1.逻辑真值表将输入变量所有的取值下对应的输出值找出来列成表格，即可得到真值表。以三人表决电路为例，输入变量为1表示同意，0表示不同意，输出（函数）为1表示通过，0表示没通过。第17页/共40页三人表决电路真值表输入变量A、B、C为1表示同意，为0表示不同意，输出变量Y 为1表示通过，为0表示没通过。A B CY0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 100010111 三人表决真值表A B CY0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 100010111第18页/共40页2.逻辑函数式把输入与输出之间的逻辑关系写成与、或、非等运算的组合式，就得到了逻辑函数式。根据电路功能的要求和与、或的逻辑定义，三人表决电路的逻辑函数式为：ABAYCBC第19页/共40页3.逻辑图将逻辑函数中各变量之间的与、或、非等逻辑关系，用图形符号表示出来，就可画出表示函数关系的逻辑图。第20页/共40页4.各种方法间的互相转换 从真值表写出逻辑函数式 一般方法：（1）找出真值表中使逻辑函数为1的那些输入变量取值的 组合。（2）每组输入变量取值的组合对应一个乘积项， 其中取值为 1 的写入原变量， 取值为 0 的写入反变量。（3）将这些乘积项相加，即得输出的逻辑函数式。第21页/共40页[例2.4.2] ：将下图所示真值表转换为逻辑函数式。A B C Y0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1 0 0 0 1 0 1 1 1第22页/共40页 从逻辑函数式列出真值表将输入变量取值的所有组合状态逐一代入逻辑式, 求出函数值，列成表。[例2.4.3] 已知逻辑函数表达式：求它对应的