逻辑式与真值表1
- 格式:doc
- 大小:97.50 KB
- 文档页数:3
南通工贸技师学院教案首页授课日期班级15对口2课题:§11.4 逻辑式与真值表教学目的要求:了解逻辑式的定义及其对应的真值表的概念,能够进行逻辑式与真值表的互化.教学重点、难点: 逻辑式的运算及逻辑式对应的真值表、逻辑式与真值表的互化授课方法:任务驱动法小组合作学习法教学参考及教具(含多媒体教学设备):《单招教学大纲》授课执行情况及分析:板书设计或授课提纲§11.4逻辑式与真值表1、逻辑非的定义2、例题2、逻辑非的真值表3、“或”、“与”、“非”的复合运算规则教 学 内 容 、方 法 和 过 程附 记 一、复习引入1、复习“与运算”、“或运算”、“非运算”的真值表和运算法则2、引入新课 二、讲授新知1、逻辑代数式:是由常量1,0以及逻辑变量经逻辑运算构成的式子,逻辑代数式简称逻辑式;2、逻辑式真值表:是用表格的形式列出逻辑变量的一切可能值与相应的逻辑式的值的表.由于逻辑变量只能取0或1,所以逻辑式的值也只有0或1;3、逻辑运算的次序:依次为先“非运算”,再“与运算”,最后是“或运算”,如果逻辑式有括号,则要先进行括号内的运算.三、例题分析【例1】 写出下列各式的运算结果.(1)011⋅+ ;(2)001++ ;(3)0101⋅+⋅ ;(4)0111++⋅ . 解:(1)0101011==+=⋅+ ; (2)11001001=+=+=++ ; (3)1100100101=+=+⋅=⋅+⋅ ; (4)11100110111=++=++=++⋅ .做好逻辑运算主要包括:(1)了解运算次序,依次为“非运算”“与运算”“或运算”,有括号的逻辑式,先进行括号内的运算;(2)熟悉运算规律.举 一 反 三写出下列各式的运算结果.(1)101⋅+ ;(2)()101⋅+ ; (3)()0100+⋅+ ; (4)0100⋅++ .教 学 内 容 、方 法 和 过 程附 记 【例2】 列出逻辑式C A B A +的真值表. 解:表11-20ABCBCB AC AC A B A +1 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 011列出逻辑式对应的真值表的步骤:(1) 明确逻辑变量的个数n ; (2) 列出逻辑变量可取的n2组值;(3) 按照先“非”再“与”后“或”,括号先行的次序逐一代入运算.举 一 反 三列出逻辑式AB B A ++的真值表.教 学 内 容 、方 法 和 过 程附 记 四.课堂练习1.写出下列各式的运算结果. (1)1111+⋅+ ;(2)()01011+⋅+⋅ ; (3)()11000⋅+⋅+;(4)()()11101+++.6.列出下列逻辑式的真值表. (1)C B A ;(2)BC A C AB +五.课堂总结本节课,我们学习了逻辑式、逻辑式对应的真值表及它们相互转换的方法.由常量1和0以及逻辑变量经过逻辑运算构成的式子叫 ;逻辑式对应的真值表就是将 的各种可能的取值和相对应的 排列在一起而组成的表格;一般地,有n 个输入变量的逻辑函数,就应该有 种不同的输入变量的取值组合.六.课外作业《教与学新方案》P36页5、6。
第四章数学命题的数学设计一、真值表1、否定(非):, 设P为一个命题,称P为P的否定式,记作p,其真值表如2、合取:设p,q表示两个命题,用逻辑联结词“与”把它们连接起来成为一个新命题“p与q”,记作qp∧。
真值表如下:3、析取:设p,q表示两个命题,用逻辑联结词“或”把它们连接起来成为一个新命题“p或q”,记作qp∨。
真值表如下:4、蕴涵(如果、、、那么、、、):设p,q表示两个命题,用“如果、、、那么、、、”把它们连接起来成为一个新命题“如果p,那么q”,记作qp→。
真值表如下:5、当且仅当(等价式):设p,q 表示两个命题,把q p ↔称为p,q 的等价式,其真值表如下真值表的作用证明重言式、两个命题等价,解决逻辑推理问题 例1 q p q p ∨≡∧例2 q p q p ∨≡→其真值表如下:三、推理规则1、合取规则:p 为真q 为真, q p ∧也为真。
2、分离规则:q p →为真,p 为真,q 也为真(充分条件假言规则)。
3、全称命题为真,则特称命题也为真。
4、r p ,,→→→则r q q p 。
5、是恒真命题r p r q q p ↔→↔∧↔)()(。
6、q(T) (T) p q(T)p ↔7、qp p q q p ↔→→8、(T)p (T) )(q T q p →(否定规则)9、pq q p →→10、(T)q (T) )(p T q p ∨(选言规则)11、qqp p q p ∧∧或(联言规则)12、三段论:推理形式为如果M 是P,S 是M,那么S 是P 。
它的逻辑式为:)()()(P S M S P M →→→∧→。
由真值表可知:)()()(P S M S P M →→→∧→1≡是恒真命题。
凡是恒真命题(重言式)都可作为推理规则。
前面提到的分离规则1)(≡→∧→q p q p ,选言规则1)(≡→∧∨q p q p ,联言规则1)(≡→∧p q p ,也都是恒真命题。
分别证明如下:11)()(31)()()()(21)()()()()(1≡∨≡∨∨≡∨∧≡→∧≡∨∨∨≡∨∧∨≡→∧∨≡∨∨∨≡∨∧∨≡∧∨≡→∧→q p q p p q p p q p q p q p q p q p q p q p q p q p q p q p p q p q q p 、、、四、证明方法1、直接证明:直接从所给论题入手,以公理、定义、定理等为论据,运用逻辑推理规则来论证论题为真的证明方法。
江阴中等专业学校教案授课日期授课班级授课课时 2 授课形式新授授课章节名称§11.4 逻辑式与真值表使用教具无教学目的知识目标:了解逻辑式的定义。
能力目标:1、能根据给定的逻辑式,写出其对应的真值表;2、能根据真值表判断两个逻辑式是否等值;3、进一步理解三种基本逻辑运算;情感目标:进一步培养学生用逻辑运算表示简单电路的能力。
教学重点根据给定的逻辑式写出对应的真值表和根据真值表判断两个逻辑式是否等值。
教学难点用逻辑式的运算与真值表表示简单的电路。
更新、补充、删节内容无课外作业P20 习题教学后记一、引入复习 :“与、或、非”运算; 二、新课讲授: (一)逻辑运算1、定义:逻辑式:由常量1,0以及逻辑变量经逻辑运算构成的式子记作逻辑代数式,简称逻辑式。
逻辑运算的规律: 逻辑运算的次序依次为“非运算”“与运算”“或运算”,如果有添加括号的逻辑式,首先要进行括号内的运算。
2、逻辑式B A B A ⋅+⋅真值表A B B A B A ⋅+⋅.1111 0 0 0 1 0 013、例题讲解:(15分)例1:写出下列各式的运算结果: (1)01⋅; (2)01⋅+1; (3)101+⋅例2:完成下面的真值表:A B AB A +B A ⋅1 1 1 0 0 1 04、完成练习1、2 (二)等值逻辑式1、定义:如果对于逻辑变量的任何一组取值,两个逻辑式的值都相等,这两个逻辑式叫做等值逻辑式。
等值逻辑式可用“=”连接,并称为等式,需要注意的是,这种相等是状态的相同。
2、例题讲解:例3:用真值表验证下列等式是否成立: (1)B A B A ⋅=+(2)C A B A C B A ⋅+⋅=+⋅)( 解(1)列出真值表: A BB A ⋅ B A +ABB A ⋅1 1 1 0 0 1 0从而得出 :B A B A ⋅=+(1) 列出真值表 A B C B+C )(C B A +⋅ B A ⋅ C A ⋅ C A B A ⋅+⋅1 1 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0由真值表得:C A B A C B A ⋅+⋅=+⋅)(3、问题解决:如图:开关电路中的灯L的状态能否用开关A,B,C的逻辑运算来表示?若能,试给出该逻辑运算的结果。
基本的逻辑运算表示式-基本逻辑门电路符号1、与逻辑(AND Logic)与逻辑又叫做逻辑乘,通过开关的工作加以说明与逻辑的运算。
从上图看出,当开关有一个断开时,灯泡处于灭的,仅当两个开关合上时,灯泡才会亮。
于是将与逻辑的关系速记为:“有0出0,全1出1”。
图(b)列出了两个开关的组合,以及与灯泡的,用0表示开关处于断开,1表示开关处于合上的;灯泡的用0表示灭,用1表示亮。
图(c)给出了与逻辑门电路符号,该符号表示了两个输入的逻辑关系,&在英文中是AND的速写,开关有三个则符号的左边再加上一道线就行了。
逻辑与的关系还用表达式的形式表示为:F=A·B上式在不造成误解的下可简写为:F=AB。
2、或逻辑(OR Logic)上图(a)为一并联直流电路,当两只开关都处于断开时,其灯泡不会亮;当A,B两个开关中有一个或两个一起合上时,其灯泡就会亮。
如开关合上的用1表示,开关断开的用0表示;灯泡的亮时用1表示,不亮时用0表示,则可列出图(b)的真值表。
这种逻辑关系通常讲的“或逻辑”,从表中可看出,只要输入A,B两个中有一个为1,则输出为1,否则为0。
或逻辑可速记为:“有1出1,全0出0”。
上图(c)为或逻辑门电路符号,通常用该符号来表示或逻辑,其方块中的“≥1”表示输入中有一个及一个的1,输出就为1。
逻辑或的表示式为:F=A+B3、非逻辑(NOT Logic)非逻辑又常称为反相运算(Inverters)。
下图(a)的电路实现的逻辑功能非运算的功能,从图上看出当开关A 合上时,灯泡反而灭;当开关断开时,灯泡才会亮,故其输出F的与输入A的相反。
非运算的逻辑表达式为图(c)给出了非逻辑门电路符号。
复合逻辑运算在数字系统中,除了与运算、或运算、非运算之外,使用的逻辑运算还有是通过这三种运算派生出来的运算,这种运算通常称为复合运算,的复合运算有:与非、或非、与或非、同或及异或等。
4、与非逻辑(NAND Logic)与非逻辑是由与、非逻辑复合而成的。
无论多么复杂的单片机电路,都是由若干基本电路单元组成的。
常用的逻辑门电路最基本的门电路是与、或、非门,把它们适当连接可以实现任意复杂的逻辑功能。
用小规模集成电路构成复杂逻辑电路时,最常用的门电路是与(AND)、或(OR)、非(INV BUFF)、恒等(BUFF)、与非(NAND)、或非(NOR)、异或(XOR)。
主要是因为这7种电路既可以完成基本逻辑功能,又具有较强的负载驱动能力,便于完成复杂而又实用的逻辑电路设计。
1.与门与门是一个能够实现逻辑乘运算的、多端输入、单端输出的逻辑电路,逻辑函数式:F=A·B 其记忆口诀为:有0出0,全1才1。
2.或门或门是一个能够实现逻辑加运算的多端输入、单端输出的逻辑电路,逻辑函数式:F=A+B 其记忆口诀为:有1出1,全0才0。
3.非门实现非逻辑功能的电路称为非门,有时又叫反相缓冲器。
非门只有一个输入端和一个输出端,逻辑函数式是:F =A非非门逻辑符号4.恒等门实现恒等逻辑功能的电路称为恒等门,又叫同相缓冲器。
恒等门只有一个输入端和一个输出端,逻辑函数式是:F = A同相缓冲器和反相缓冲器在数字系统中用于增强信号的驱动能力。
5.与非门与和非的复合运算称为与非运算,逻辑函数式是:F = 非其记忆口诀为:有0出1,全1才0。
6.或非门或与非的复合运算称为或非运算,逻辑函数式是:F = A+B非其记忆口诀为:有1出0,全0才1。
7.异或门异或逻辑也是一种广泛应用的复合逻辑,其记忆口诀为:相同出0,不同出1。
逻辑门电路是单片机外围电路运算、控制功能所必需的电路。
在单片机系统中我们经常使用集成逻辑电路(常称为集成电路)。
一片集成逻辑门电路中通常含有若干个逻辑门电路,如7400为4重二输入与非门,即7400内部有4个二输入的与非门。
高速CMOS74HC逻辑系列集成电路具有低功耗、宽工作电压、强抗干扰的特性,是单片机外围通用集成电路的首选系列。
随着单片机内部功能的不断增强和硬件软件化,外部所用的逻辑门电路将越来越少。
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 ++的真值表.
【导练】
一、选择题
1.下面不可以看作逻辑式的是 ( )
A.0
B.1
C.2
D. CD AB +
2.关于逻辑变量的取值,以下说法正确的是( )
A.只能取0
B.只能取1
C.只能取0或1
D. 作为变量可取一切实数
二、填空题
3.用表格的形式列出逻辑变量的一切可能值与逻辑式的值的表叫逻辑式的 .
4.逻辑运算的次序为“非运算”、 、 ,有括号的,先进行括号内的运算.
三、解答题
5.写出下列各式的运算结果.
(1)1111+⋅+ ; (2)()01011+⋅+⋅ ;
(3)()11000⋅+⋅+; (4)()()11101+++.
6.列出下列逻辑式的真值表.
(1)C B A ; (2)BC A C AB +.。