周测5逻辑电路图、真值表和逻辑函数式转换
一、综合分析题(每题10分,共100分)
1.将逻辑电路转换为用与非门表示的电路图。
2.将逻辑电路图转换为用与非门表示的电路图。
3.分析如图所示逻辑电路，写出表达式并化简，画出最简逻辑电路图。
4.如图所示真值表和逻辑电路图，按要求回答问题:
(1)由真值表列写逻辑表达式Y1。(不化简)
(2)由正辑图列写逻辑表达式Y2。(不化简)
(3)判断真值和逻辑所表示的逻辑功能是否一致,并写明分析过程。
5. 根据所示逻辑电路图。（1）写出逻辑表达式并化简。（2）列出其简化后表达式的真值表。（3）总结器逻辑功能。
6.根据所示逻辑电路图:(1)写出输出函数逻辑表达式。(2)列出真值表。(3)进行逻辑功能分析，
7.如图所示逻辑电路,求:
(1)写出其逻辑表达式并化简。
(2)列出简化后表达式的真值表。
(3)总结逻辑功能。
8.根据给出的逻辑函数式进行化简,并化成与非门的形式。BCD B B A Y ++=。
9.已知逻辑函数Y=A+B+C,写出它的最小项表达式。
10.变换函数式D A AC B A Y ++=为与非—与非表达式,并画出对应的逻辑电路图。
逻辑函数和逻辑表达式 图1（a）所示为一个有n个输入信号，m个输出信号的多输出组合电路。 图1（a） 各输出变量和输入变量之间的关系可用含m个逻辑表达式的方程组 zi=fi(x1,x2,...,xn) i=1,2,...,m (1) 式（1）是图1（a）所示组合电路的逻辑功能的数学描述。该组合电路则是实现这些逻辑函数的电气装置。 描述组合电路的逻辑函数称为组合逻辑函数。逻辑表达式是描述逻辑函数的一种代数形式。
1.导出逻辑表达式与真值表 数字电路应实现的逻辑功能通常是由某种文字描述给出的。如欲用数字电路实现这些功能，首先要把这一文字描述变换成一种可以进行逻辑变换的描述。真值表和逻辑表达式就是其种的两种描述方法。真值表具体地给出了自变量的全部取值组合下的函数值，所以，真值表是唯一的。对于有n个自变量的函数，其真值表有2n行。对于相同的逻辑功能可以由不同的逻辑表达式来描述。 2.积之和表达式与最小项表达式 设函数z的逻辑表达式为 z（a，b，c）=ab+ac (2) a b和a c是由与（逻辑乘）运算连接的，称为与项（或乘积项，积项）。这两个与项又由或（逻辑 和）运算连接，所以，称这种类型的表达式为与--或表达式或积之和表达式。 式2真值表如下表所示
表2 真值表 z（a,b,c)= a b + a c = a b(c + c) + a (b + a) c = a b c + a b c + a b c + a b c（3） 上式也是积之和表达式。其真值表如表3所示。
表3 最小项是一种特殊类型的乘积项。在一个n个自变量的逻辑函数中，包含全部n个变量的积项称为最小项,均由最小项构成的积之和表达式称为最小项表达式或标准的积之和表达式。 在式（3）中，各最小项的标号由下法求得： 最小项名a b ca b c a b c a b c 取值组合 1 1 11 1 00 1 1 0 0 1
逻辑函数及其表示方法(案例分析) 表示一个逻辑函数有多种方法，常用的有：真值表、逻辑函数式、逻辑图等3种。它们各有特点，有相互联系，还可以相互转换，现介绍如下： 1.真值表 真值表时根据给定的逻辑问题，把输入逻辑变量各种可能取值的组合和对应的输出函数值排列成的表格。它表示了逻辑函数与逻辑变量各种取值之间的一一对应关系。逻辑函数的真值表具有唯一性。若两个逻辑函数具有相同的真值表，则两个逻辑函数必然相等。当逻辑函数有n 个变量时，共有2n 个不同变量取值组合。在列真值表时，为避免遗漏，变脸取值的组合一般按n 位自然二进制数递增顺序列出。用真值表表示逻辑函数的优点是直观、明了，可直接看成逻辑函数值和变量取值的关系。 例： 试列出逻辑函数B A AB Y +=的真值表。 解：该逻辑函数有2个输入变量，就有22=4种取值。把输入变量A 、B 的每种取值情况分别代入B A AB Y += 中，进行逻辑运算，求出逻辑函数值，列入表中，就得到Y 的真值表。 表 1 Y=AB+AB 的真值表 2.逻辑函数式 逻辑函数式时用与、或、非等 逻辑运算来表示输入变量和输出函数间因果关系的逻辑函数式。由真值表直接写出的逻辑式是标准的与-或表达式。写标准与-或表达式的方法是： (1)把任意一组变量取值中的1代以原变量，0代以反变量，由此得到一组变量的与组合，如A 、B 、C 三个变量的取值为001，则代换后得到变量与组合为C B A 。 (2)把逻辑函数值为1所对应的各变量的与组合进行逻辑加，便得到标准的与-或逻辑式。 3.逻辑图 逻辑图是用基本逻辑门和符合逻辑门的逻辑符号组成的对应于某一逻辑功能的电路图。
11.4 逻辑式与真值表1 【预习】第三册课本第17至18页内容. 【预习目标】了解逻辑式的定义及真值表的概念. 【导引】 1.逻辑代数式：由常量1,0以及逻辑变量经逻辑运算构成的式子，简称逻辑式． 2.逻辑式真值表：用表格的形式列出逻辑变量的一切可能值与相应的逻辑式的值的表． 3.逻辑变量只能取0或1，所得逻辑式的值也只有0或1． 4.逻辑运算的次序依次为“非运算”“与运算”“或运算”，如果有添加括号的逻辑式，首先要进行括号内的运算． 【试试看】 1.当00AB =时，逻辑式B A AB F +=的值为 . 2.使逻辑式F AB CD =+的值为1的变量组合取值有 （ ） A ．1100ABCD = B ．0101ABCD = C ．1010ABC D = D ．0010ABCD = 【本课目标】了解逻辑式的定义及其对应的真值表的概念，能够进行逻辑式与真值表的互化. 【重点】逻辑式的运算及逻辑式对应的真值表. 【难点】逻辑式与真值表的互化. 【导学】 任务1 理解逻辑式的定义，学会求逻辑式的运算结果. 【例1】写出下列各式的运算结果． （1）011?+ ；（2）001++ ；（3）0101?+? ；（4）0111++? ．
【试金石】写出下列各式的运算结果． （1）101?+ ； （2）()101?+ ； （3）()0100+?+ ； （4）0100?++ ． 任务2 会根据给定的逻辑式写出其对应的真值表. 【例2】列出逻辑式C A B A +的真值表． 【试金石】列出逻辑式AB B A ++的真值表． 【检测】 1. 写出下列各式的运算结果． （1）101+? ； （2）001000++?+? ． 2. 列出逻辑式A B AB ++的真值表．
逻辑函数真值表生成程序 (一)实验任务： 设计一个能生成具有13个输入逻辑变量的逻辑函数真值表生成程序。 功能要求： 规定函数文本的书写方式，将逻辑函数写入文本文件中（如 logic_funs.txt）； 2，程序从包含有逻辑函数表达式的文本文件（如logic_funs.txt）中读入变量个数和函数 3，函数运算优先顺序的识别与函数运算转换 4，得到函数输出结果 5，将真值表存入文本文件（如truth_table.txt）中。 6，逻辑函数表达式的文本文件及真值表文本文件的文件名应能独立输入。 扩展设计： 将原要求实现的过程扩展为具有8个函数处理能力的程序。 (二)实验方法：
(三)功能实现: 1. 函数文本的书写方式：函数值+函数体，注意函数以分号结束，如： F=(A+B'+C*D*E*(F*G+H+I))*X+Y*W*Z*(A+B+C*H*F); 2.采用文件流形式从文本文件读入函数表达式，并将真值表写入文本文 件中，文件地址既可采用当前目录的默认地址，也可采用自定义的路 径。 3. 函数运算优先顺序的识别与函数运算转换通过两个顺序栈（sk1存储 运算符，sk2存储操作数）来实现。 算法描述： 从左到右扫表达式，如读入的是操作数，则压入操作数栈sk2；入读入的是操作符，则需按一下规则进一步判断： 1) 若读入的是左括号“（”，或读入的运算符优先级大于栈顶运算符优先 级，则将读出的符号进运算符栈，然后依次读下一个符号，注意括号并 未参与运算符优先级比较,故需特别判断； 2) 若读出的符号为表达式结束符“；”，且运算符栈顶也是表达式结束符 “；”，则表达式处理结束； 3) 非运算符“‘”直接对操作数栈顶元素运算，运算结果进操作数栈，非 运算符不进栈； 4) 若读出的符号为右括号“）”，且运算符栈顶是左括号“）”，则表示 括号内的表达式处理结束，将左括号“）出栈，然后依次读入下一个符 号； 5) 如读入的运算符优先级不大于栈顶运算符优先级，则从操作数栈依次推 出两个操作数，从运算符栈退出一个运算符，将这两个操作数按这种运 算符做相应运算，并将运算结果压入操作数栈。注意在这种情况下，当 前读出的操作符下次将重新考虑，即（不再读下一个符号）； 例如：对函数表达式F=(X+Y+Z)*X'*Y; a.初始状态 b.读出（、X、+、Y topp-> OPS topv-> OVS OPS OPS
[题2.1]已知逻辑函数的真值表如表P2.1(a),(b)，试写出对应的逻辑函数式 [ 2.2]试用列真值表的方法证明下列异或运算公式。 (1)A⊕0=A (2) A⊕A=0 (3) A⊕A=1 (4)（A⊕B）⊕C=A⊕（B⊕C） (5) A⊕1 A B B =B A ⊕ ⊕ = ⊕ [题2.3] 用逻辑代数的基本公式和常用的公式将下列逻辑函数化为最简与或形式的。 （1）B + = Y+ B A A B (2) B A Y+ = A BC （3）D A Y+ = B + CD A C ABD （4）) A Y+ B + = A + )( A (B C B AD CD
（5）)()(CE AD B BC B A D C AC Y ++++= （6）))()((C B A C B A C B A Y ++++++= （7）F E AB E D C B E D C B E D B F E B A D C A AC Y +++⊕+++=)( [题2.4]写出图P2.4中各逻辑图的逻辑函数式，并化简为最简与或式。 [题2.5 ]求下列函数的反函数并化为最简与或形式。 （1）Y=AB+C (2) BC AC C A B A Y +++=))(( （3）（4）)(BD AC D C C B A Y ++= （4）EFG G EF G F E G F E FG E G F E G F E G F E Y +++++++= [题2.6]将下列各函数式化为最小项之和的形式。 (1) C B AC BC A Y ++= （2）D A BCD D C B A Y ++= （3）)(D C BC AB Y ++= [题2.7] 将下列各式化为最大项之积的形式。 （1）))((C B A B A Y +++= （2）C B A Y += （3）∑=)7,6,4,2,1(),,(m C B A Y 图P2.4
课题：逻辑式与真值表 课时：两课时 教学目标：1、了解逻辑式的概念； 2、会填写逻辑式的真值表； 3、理解等值逻辑式的涵义； 4、能够判断逻辑式是否等值 教学重点：理解等值逻辑式的概念，并能判断逻辑式是否等值。 教学难点：填写逻辑式的真值表 教学过程： 一、创设情境，导入课题 A 、A ·（B+C ）、[(A B)+C] + D 、1、0 有常量1、0以及逻辑变量经逻辑运算构成的式子叫做逻辑代数式，简称逻辑式。 逻辑运算的优先次序依次为“非运算”、“与运算”、“或运算”，如果有添加括号的逻辑式，首先要进行括号内的运算。 二、动脑思考，探索新知 列出逻辑变量的一切可能取值与相应的逻辑式的值的表，叫做逻辑式的真值表。 问题1：试写出AB B A +?的真值表。 A B AB B A +? 1 1 1 0 0 1 0 分析：可以先写出B A ?和AB ，再计算AB B A +? 问题2：试写出B A +与B A ?的真值表，并观察它们值的关系 A B A+B B A + A B B A ? 1 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1
如果对于逻辑变量的任何一组取值，两个逻辑式的值都相等，这样的两个逻辑式叫做等值逻辑式，等值逻辑式可用“=”连接，并称为等式。需要注意，这种相等是状态的相同。 问题3：用真值表验证下列等式是否成立 A·（B+C）=A·B+A·C A B C B+C A·（B+C）A·B A·C A·B+A·C 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 可以看出对于逻辑变量的任何一组值，A·（B+C）与A·B+A·C的值都相同，所以A·（B+C）=A·B+A·C。 随堂练习 1.填写下列真值表，并判断有没有等值逻辑式 （1） A B A·B B A?B A+ （2） A B A+B B A? A+B
第2章逻辑函数及其化简 内容提要 本章是数字逻辑电路的基础，主要内容包含： （1）基本逻辑概念，逻辑代数中的三种基本运算（与、或、非）及其复合运算（与非、或非、与或非、同或、异或等）。 （2）逻辑代数运算的基本规律（变量和常量的关系、交换律、结合律、分配律、重叠律、反演律、调换律等）。 （3）逻辑代数基本运算公式及三个规则（代入规则、反演规则和对偶规则）。 （4）逻辑函数的五种表示方法（真值表法、表达式法、卡诺图法、逻辑图法及硬件描述语言）及其之间关系。本章主要讲述了前三种。（5）逻辑函数的三种化简方法（公式化简法、卡诺图法和Q–M法）。教学基本要求 要求掌握： （1）逻辑代数的基本定律和定理。 （2）逻辑问题的描述方法。 （3）逻辑函数的化简方法。 重点与难点 本章重点： （1）逻辑代数中的基本公式、基本定理和基本定律。 （2）常用公式。 （3）逻辑函数的真值表、表达式、卡诺图表示方法及其相互转换。
（4）最小项和最大项概念。 （5）逻辑函数公式化简法和卡诺图化简法。主要教学内容 2.1 逻辑代数中的三种基本运算和复合运算2.1.1 三种基本运算 2.1.2 复合运算 2.2 逻辑代数运算的基本规律 2.3 逻辑代数的常用运算公式和三个规则2. 3.1 逻辑代数的常用运算公式 2.3.2 逻辑代数的三个规则 2.4 逻辑函数及其描述方法 2.4.1 逻辑函数 2.4.2 逻辑函数及其描述方法 2.4.3 逻辑函数的标准形式 2.4.4 逻辑函数的同或、异或表达式 2.5 逻辑函数化简 2.5.1 公式法化简 2.5.2 卡诺图化简
2.1 逻辑代数中的三种基本运算和复合运算 2.1.1 三种基本运算 1. 与运算（逻辑乘） 2. 或运算（逻辑加） 3. 非运算（逻辑非） 2.1.2 复合运算 1. 与非运算 与非运算是与运算和非运算的组合，先进行与运算，再进行非运算。 2. 或非运算
教学内容逻辑电路图、逻辑表达式与真值表之间的互换授课对象中职学生 教师姓名授课时间40分钟授课时数一课时 教学目标●知识目标：1、能够很快的填写真值表； 2、根据表达式会画逻辑电路图； 3、根据真值表会分析逻辑功能； ●能力目标：在以后分析电路和设计电路时，能够熟练运用。 ●情感目标：培养学生对数字电路的兴趣，积极的参与数字电路的学习， 是他们有对理论联系实际有一定的了解。 教学重难点逻辑函数表达式的几种基本形式和标准形式之间的转换方法 教材分析《逻辑电路图、逻辑表达式与真值表之间的互换》是由中等职业教育电类专业规划教材审定委员会审定教材，中国电力出版社出版，彭克 发、朱力主编的《电子技术基础》数字电路第九章第四节的教学内容。 是前面三节的综合运用，也是数字电路设计和分析的非常重要的基础，所以它有着承上启下的作用，是本章重点之一。 学情分析在学习上，中职生在初中教育中在某种程度上来说，学习的主动性较低，普遍存在学习基础较差，理解能力较弱，对理论学习不太感兴趣 和对实践操作比较感兴趣，理论与实践往往脱节的现象。但也有显著的 优点：活泼好动，好奇心强。对于前面学习了模拟电路的知识后，再来 学习简单的数字电路，有了前面的基础，学习数字电路学生会格外的感 兴趣。 教学过程教学内容师生互动备注
一、创设情境引入新课复习： 常用逻辑门电路的逻辑符号、逻辑表 达式、逻辑功能： 1、与门:Y=A?B 2、或门：Y=A+B 3、与非门：B A Y? = 4、或非门：B A Y+ = 引出逻辑电路的表达方法有哪几种？ 老师：同学们回忆一下我们学过的常 用逻辑门电路有哪些？实现怎样的逻 辑功能？ 学生：与门、或门、非、与非门、或 非门等 有0出0，全1出1；有1出1，全0 出0 ；有0出1，全1出0,；有1出 0，全0出1等 我们一般的逻辑电路有哪些表达方法 呢？怎样互换？ 二、合作交流自主探究一、逻辑电路的表达方式 逻辑电路有多种表达方法：逻辑电路图、 真值表、逻辑表达式、波形图、卡诺图等。 其中最常用的是逻辑电路图、真值表、逻辑 表达式这三种。 这三种表达方法之间可以相互转换。 二、逻辑电路图与表达式之间的相互转换 1、由逻辑图转换为逻辑表达式 方法：从逻辑电路图的输入端开始，逐级写 出各门电路的逻辑表达式，一直到输出端。 如：将下图所示的电路图转化为逻辑表达 式。 方法如下。 （1）依次写出 1 Y、 2 Y、 3 Y的逻辑表达式： AB Y= 1 ;AB A AY Y= = 1 2 ; B AB B Y Y= = 1 3 (2)写出Y的表达式： 演示各种表达方法的图示。 我们在前面也学到了一些表达方法， 只是我们没有把它集中学习，大家看 我这上面的几种表达方法都是些什么 表达方法？ 总结起来就这几种，用的最多的 就是逻辑电路图、真值表、卡罗图。 当我们只知道其中一种表达方法就 可以分析出其他的表达方法。那我们 就来学习学习他们之间是怎样互换 的。 那我们先来看看学习逻辑电路图 与表达式之间的互换。 逻辑电路图转化为表达式，大家 看图。 老师问：我们的电路图是由哪几种常 用门电路组成？ 逻辑电路图转化为表达式的方法 是:从逻辑电路图的输入端开始，逐级 写出各门电路的逻辑表达式，一直到 输出端。 那我们就开始依次写出每个门电 路输入与输出的关系。 最后的逻辑表达式还可以是： B A B A Y+ = 说明：同一个逻辑电路的表达式 不唯一。 接下来我们学习表达式转化为电路
逻辑函数的卡诺图化简法 代数化简法的优点是不受变量数目的限制。缺点是：没有固定的步骤可循；需要熟练运用各种公式和定理；需要一定的技巧和经验；有时很难判定化简结果是否最简。 本节介绍一种比代数法更简便、直观的化简逻辑函数的方法。它是一种图形法，是由美国工程师卡诺（Karnaugh ）发明的，所以称为卡诺图化简法。 卡诺图实际上是真值表的一种变形，一个逻辑函数的真值表有多少行，卡诺图就有多少个小方格。所不同的是真值表中的最小项是按照二进制加法规律排列的，而卡诺图中的每一项则是按照相邻性排列的。 1．卡诺图的结构 （1）二变量卡诺图。 00011110m AB m AB 1m 03m AB AB 4A (a) B 0 1 3 2 AB (b) （2）三变量卡诺图。 0m ABC m ABC 1m 3m ABC ABC 265m ABC 74ABC m m m ABC ABC 0(a) (b) 1324 5 7 6 10 01 11 00 BC A 01 B C A （3）四变量卡诺图。 m 0ABCD ABCD m 1ABCD m 3m ABCD 2m 567m m ABCD ABCD m ABCD 4ABCD ABCD m m 13ABCD ABCD 1412m 15m ABCD ABCD ABCD m ABCD 8m 1011m 9m ABCD A B C D 01327 6 5 4 131415129 8 11 10 AB CD 000001 01111110 10(a) (b) 2．从真值表到卡诺图 例3.2.3 某逻辑函数的真值表如表3.2.3所示，用卡诺图表示该逻辑函数。 解： 该函数为三变量，先画出三变量卡诺图，然后根据表3.2.3将8个最小项L 的取值0或者1填入卡诺图中对应的8个小方格中即可，如图3.2.4所示。
逻辑代数基础 一、选择题 1. 以下表达式中符合逻辑运算法则的是 D 。 A.C ·C =C 2 B.1+1=10 C.0<1 D.A +1=1 2. 逻辑变量的取值１和０可以表示： ABCD 。 A.开关的闭合、断开 B.电位的高、低 C.真与假 D.电流的有、无 3. 当逻辑函数有n 个变量时，共有 D 个变量取值组合？ A. n B. 2n C. n 2 D. 2n 4. 逻辑函数的表示方法中具有唯一性的是AD 。 A .真值表 B.表达式 C.逻辑图 D.卡诺图 5.F=A B +BD+CDE+A D= AC 。 A.D B A + B.D B A )(+ C.))((D B D A ++ D.))((D B D A ++ 6.逻辑函数F=)(B A A ⊕⊕ = A 。 A.B B.A C.B A ⊕ D. B A ⊕ 7．求一个逻辑函数F 的对偶式，可将F 中的 ACD 。 A .“·”换成“+”，“+”换成“·” B.原变量换成反变量，反变量换成原变量 C.变量不变 D.常数中“0”换成“1”，“1”换成“0” E.常数不变 8．A+BC= C 。 A .A + B B.A + C C.（A +B ）（A +C ） D.B +C 9．在何种输入情况下，“与非”运算的结果是逻辑0。 D A ．全部输入是0 B.任一输入是0 C.仅一输入是0 D.全部输入是1 10．在何种输入情况下，“或非”运算的结果是逻辑0。 B C D A ．全部输入是0 B.全部输入是1 C.任一输入为0，其他输入为1 D.任一输入为1 二、判断题（正确打√，错误的打×） 1． 逻辑变量的取值，１比０大。（ × ）。 2． 异或函数与同或函数在逻辑上互为反函数。（ √ ）。 3．若两个函数具有相同的真值表，则两个逻辑函数必然相等。（ × ）。
离散逻辑学实验 班级：10电信实验班学号：Q10600132 姓名：王彬彬 一、实验目的 熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。 二、实验内容 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和 双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）） 三、实验环境 C或C＋＋语言编程环境实现。 四、实验原理和实现过程（算法描述） 1.实验原理 （1）合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∧Q, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可P∧Q =T, 而P、Q只要有一为F则P∧Q = F。这样看来，P∧Q可用来表示日常用语P与Q, 或P并且Q。 （2）析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∨Q, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = F, Q = F时方可P∨Q =F, 而P、Q只要有一为T则P∨Q = T。这样看来，P∨Q可用来表示日常用语P或者Q。 （3）条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P→Q, 读作P条件Q, 也可读作如果P，那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = F时方可P→Q =F, 其余均为T。 （4）双条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P←→Q, 读作P双条件于Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为当两个命题变项P = T, Q =T时方可P←→Q =T, 其余均为F。 （5）真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。 （6）主范式： 主析取范式：在含有n个命题变元的简单合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。由若
11.4 逻辑式与真值表2 【预习】第三册课本第19至20页内容. 【预习目标】进一步理解三种基本逻辑运算，熟悉逻辑式、真值表的概念. 【导引】 1.逻辑代数式：由常量1,0以及逻辑变量经逻辑运算构成的式子，简称逻辑式． 2.逻辑式真值表：用表格的形式列出逻辑变量的一切可能值与相应的逻辑式的值的表． 3. 等值逻辑式：对于逻辑变量的任何一组取值，两个逻辑式的值都相等．等值逻辑式可以用“=”连接，并成为等式． 注意：这种相等是状态的相同． 【试试看】 1.下面真值表所表示的逻辑表达式为（ ） A ．AB Y = B ．B A Y += C ．B A Y += D ．AB Y = 2.与逻辑式C A AB F +=相等的表达式为（ ） A ．C AB F += B ．BC C A AB F ++= C ．BC A F += D ．ABC F = 【本课目标】了解等值逻辑式的含义，理解三种基本逻辑运算，能够用真值表验证等值逻辑式. 【重点】逻辑式与真值表之间的互换，能根据真值表写出逻辑式，并能用真值表验证逻辑等式. 【难点】用真值表验证逻辑等式.
【导学】 任务1 进一步熟悉逻辑式的真值表，能根据真值表写出逻辑式. 【例1】例1 已知某逻辑式对应的真值表如 右表所示，试写出相应的逻辑式. 【试金石】已知某逻辑式对应的真值表如 右表所示，试写出相应的逻辑式. 任务2 学会根据真值表判断两个逻辑式是否等值. 【例2】用真值表验证下列等式是否成立． (1)1=+A A ； （2）B A B A A +=+． 【试金石】用真值表验证下列等式是否成立． (1) B A AB B A B A +=+； （2）C B A C B A ??=++．