真值表练习题电子教案
离散数学实验——求真值表.docx
一实验目的 (1)二实验内容 (1)三实验环境 (1)四实验原理和实现过程（算法描述） (1)五实验数据及结果分析； (3)六源程序清单； (5)七其他收获和体会。
(14)一实验目的熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。
二实验内容1.从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。
(A)2.求任意一个命题公式的真值表(B,并根据真值表求主范式(C))三实验环境C或C++语言编程环境实现。
四实验原理和实现过程(算法描述)A：首先提示用户输入真值指派，然后判断用户输入的是否是0或者1,如果不是则利用while语句提示错误，然后提示重新输入直至输入正确，再根据用户输入的真值给代表合取，析取，蕴含，双条件的变量赋值，再以两行表格形式输出所得结果。
最后提示按#键退出, 否则继续循环求真值。
B：主要思路：首先提示用户输入表达式，然后编写并调用一个函数将表达式转换为逆波兰式，在转换的同时，插入部分语句将表达式中的变量名存储到数组bianl[N]中，然后输出存好的各变量名及用户输入的表达式(建立表头)，将每次的真值指派存在数组zhi[]中，编写函数zzhi ()每次调用zzhi ()时都使数组zhi □中的真值加1, (利用递推实现加一时可能的进位，)然后编写并调用一函数qiuzhi ()计算每次真值指派下的逆波兰表达式的值，再输出各真值指派和求出的表达式的真值，然后调用函数zzhiO将真值指派的数组加1, 最后外围利用while 语句循环输出每个不同的真值指派和该指派下表达式的值。
将表达式转换成逆波兰式并将变量提取的算法：首先需要分配2 个栈，一个作为临时存储运算符的栈fu[], —个作为输入逆波兰式的栈nibol：],从中缀式的左端开始取字符，逐序进行如下步骤：（1）若取出的字符是字母，则该字母直接送入nibol[]栈。
同时为了找出所有变量，将该变量名与数组bianl[]中已有的元素比较, 如果bianl □中还没有该字母，则该字母是新出现的变量，将其录入数组bianl []中。
11.4逻辑式与真值表1
逻辑式与真值表
总第
课时
本课 1 课时 （1）了解逻辑式的定义； （2）能根据给定的逻辑式，写出其对应 的真值表。 课型：新
重点 难点
能正确给出一个逻辑式的真值表 能正确给出一个逻辑式的真值表 展示 反馈）
教具： 多媒体
教学环节与内容（预习
方法指导与拓 展评价
一、 回顾旧知 逻辑变量之间的三种运算的真值表以及运算规则： （1） 非运算： （2） 或运算： （3） 与运算： 二、 新知讲授 逻辑变量之间除了单一的或、与、非运算之外，还有他 们之间的复合运算。 1. 逻辑式：由常量 1，0 以及逻辑变量经过逻辑运算 构成的式子叫做逻辑代数式，简称逻辑式。例如，
A , A ( B C ), [( AB ) C ] D ,1, 0
等等都是逻辑式。
注意： （1）表示常量的 1 和 0 以及单个变量都看作逻 辑式。 （2） 逻辑运算的次序依次是非运算、 与运算、 或运算， 如果有添加括号的逻辑式， 首先要进行括号内的运算。 2.真值表 将各逻辑变量取定的一组值代入逻辑式，经过运算， 可以得到逻辑式的一个值（0 或 1） 。因为逻辑变量只 能取 0 或 1，所以对于给定的一个逻辑式来说，大家 关心的是逻辑变量为 0 或 1 时，逻辑式的值，这通常 可以用表格的形式将其表示出来。 列出逻辑变量的一切可能取值与相应的逻辑式的值的 表，叫做逻辑式的真值表。 3.
A
A B AB
的真值表如下
B
A B AB
1 1 0 0 三、 例题讲解
1 0 1 0
1 0 0 1
例题 1 写出下列各式的运算结果
(1)1 0, (2)1 0 1, (3)1 0 1
电子教案《数字电子技术(第5版_杨志忠)》教学资源第5章练习题参考答案
电压波形。
图 Ｐ５ ２
图［题 ］ 图［题 ］
５ ２ Ａ
５ ２ Ｂ
［题 ５ ３］ 在同步 ＲＳ 触发器中，已知 ＣＰ、Ｒ、Ｓ 输入的电压波形如图 Ｐ５ ３ 所示，试画出
输出 Ｑ 端的电压波形。设触发器的初始状态为 Ｑ ＝０。
［解］ 根据由与非门组成同步 ＲＳ 触发器的逻辑功能画输出 Ｑ 的电压波形。Ｑ 电压波形中
［解］ 先画出 、 Ｑ０ Ｑ０ 和 、 Ｑ１ Ｑ１ 的电压波形，再根据 Ｙ１ ＝ Ｑ０ Ｑ１ 和 Ｙ２ ＝ Ｑ０ Ｑ１ 的与非关系，
画出输出 Ｙ１ 和 Ｙ２ 的电压波形，如图［题 ５ １４］所示。
图 Ｐ５ １４
图［题 ５ １４］
第 ５ 章 集成触发器 １２７
［题 ５ １５］ 图 Ｐ５ １５ 是一个用 ＴＴＬ 边沿双 ＪＫ 触发器组成的单脉冲发生器，ＣＰ 为连续脉 冲，试分析其工作原理，并画出 ｕＯ 的电压波形图。 ［解］ 由图 Ｐ５ １５ 可知，平时 Ｓ 开关接地，ＦＦ０ 的 Ｊ０ 接地，同时 Ｋ０ ＝ ，１ ＦＦ１ 的直接置 ０ 端通过 Ｓ 开关接地。因此，触发器 ＦＦ０ 和 ＦＦ１ 都处于 ０ 状态，Ｑ０ ＝ Ｑ１ ＝ ０，输出 ｕＯ 为低电平 ０。 当 Ｓ 开关按下时，接高电平 １，这时 ＦＦ０ 和 ＦＦ１ 都为 Ｔ′触发器，处于计数状态。在 ＣＰ 下 降沿作用下，ＦＦ０ 由 ０ 状态翻到 １ 状态，Ｑ０ ＝ １，输出 ｕＯ 由低电平 ０ 跃到高电平 １。 当输入下一个 ＣＰ 的下降沿时，ＦＦ０ 由 １ 状态翻到 ０ 状态，Ｑ０ 输出一个负跃变，输出 ｕＯ 由高电平 １ 跃到低电平 ０，与此同时，Ｑ０ 输出的负跃变使 ＦＦ１ 由 ０ 状态翻到 １ 状态，Ｑ１ 输出 的低电平使 ＦＦ０ 置 ０，从而保证了 Ｓ 开关每按一次，ｕＯ 输出一个正脉冲，输入和输出电压波形 如图［题 ５ １５］所示。 当 Ｓ 开关放开时，Ｓ 又接地，ＦＦ０ 和 ＦＦ１ 又回到初始的 ０ 状态，为下一次输出正脉冲做好准备。
逻辑学真值表及命题演算
四、列出 A 、 B 、 C 三命题的真值表，并回答 当A、B、C三命题恰有一真时，是否甲村所 有人家都有彩电？ • A、甲村所有人家都有彩电，并且乙村所有 人家都有彩电。 • B、或者甲村所有人家都有彩电，或者乙村 所有人家都有彩电。 • C、如果乙村所有人家都有彩电，那么甲村 有些人家没有彩电。
1.AC 2.C(E(HI))
假设证明法（实例分析二）
A(FE)
(假设) (1.4.销去)
3.FI
4. 5. A C
6.
7. 8. 9. 10. 11. 12. 13.
E(HI)
F I IH HI (HI) E FE
(2.5.销去)
(假设) (3.7.销去) (8.引入) (9.交换) (10.等值) (6.11.销去) (7－12.引入) (4－13.引入)
完全真值表法
完全真值表的作法
三个步骤：
1、找出已给命题公式的所有变项，并竖行 列出这些变项的所有真值组合； 2、根据命题公式的结构，由繁到简的依次 横行列出，一次只引进一个连接词，直至列出 该公式本身； 3、依据基本真值表，有变项的真值逐步计 算出每个部分的真值，最后列出整个公式得真 值。
完全真值表法的判定功能
p : ： ： 10. q 11. pq
/ ∴ p q (假设）
(4---10 引入）
假设证明法（实例分析一）
1.
2. 3. 4. 5.
BA
B(AC) A B AC AC (假设) (1.3,销去) (2.4.销去)
6.
7.
C
AC
(5.销去)
(3.6.引入)
证毕。
F F T
F
F
T
真值表判定任意两个复合命题之 间是否具有等值关系
命题公式真值表ppt课件
例 3 证明: P Q (P Q) (Q P)
4.基本等价公式
对合律
(双否定)
P P
交换律
PQ Q P,PQ Q P
结合律
P (Q R) (P Q) R , P (Q R) (P Q) R
分配律
P (Q R) (P Q) (P R) , P (Q R) (P Q) (P R)
吸收律
P (P Q) P , P (P Q) P
-
1-4 真值表与等价公式
4.基本等价公式
德·摩根律
同一律 零律
否定律 (互补律)
条件式转化律
双条件转化律
(P Q) P Q, (P Q) P Q P F P,PT P PT T ,PF F
P P T , P P F
T
T
-
1-4 真值表与等价公式
2.永真公式和永假公式
定义1 给定一个命题公式,如果对分量无论作怎样的指派,其对应的真 值永为T,则称该命题公式为重言式或永真公式. 定义2 给定一个命题公式,如果对分量无论作怎样的指派,其对应的真 值永为F,则称该命题公式为矛盾式或永假公式. 定义3 给定一个命题公式,对于分量的所有指派,至少存在一组真值指派 使公式的真值为T,则称该命题公式为可满足式.
都能成为命题公式.例如, P , P (Q ) 等不是命题公式.
定义 1-3.1 命题演算的合式公式,规定为:
(1)单个命题变元本身是一个合式公式;
(2)如果 A 是合式公式,那么 A是合式公式;
(3)如果 A 和 B 是合式公式,那么
A B , A B , A B, A B 是合式公式;
(4)当且仅当能够有限次地应用(1)、(2)、(3)
(5)一公安人员审查一起案件,事实如下,请将案件事实符 号化: 张三或李四盗窃了机房的一台电脑,若是张三所为,则作案 时间不能发生在午夜前;若李四的证词正确,则午夜时机房 的灯未灭; 若李四证词不正确,则作案时间发在午夜前;
逻辑电路图、真值表和逻辑表达式之间的互换 教案
一边讲述一边找到前面相应的方法放 给大家看， 一边提问学生相关只是问 题。
六、 课后
作业：142 页，第四题
下去过后完成课后作业， 复习本节课 内容，预习后面一章的第一节。
作业
教学后记：
板书设计：
9.4 逻辑电路图、逻辑表达式与真值表之间的互换
一、逻辑电路的表达方式 逻辑电路图、真值表、逻辑表达式、波形图、卡诺图
表达方法？
这三种表达方法之间可以相互转换。
总结起来就这几种， 用的最多的
就是逻辑电路图、真值表、卡罗图。
当我们只知道其中一种表达方法就
可以分析出其他的表达方法。那我们
就来学习学习他们之间是怎样互换
的。
二、逻辑电路图与表达式之间的相互转换
1、由逻辑图转换为逻辑表达式
那我们先来看看学习逻辑电路图
方法：从逻辑电路图的输入端开始，逐级写 与表达式之间的互换。
新知识 四、 目标
例题： 逻辑表达式转化成真值表
Y (A B) • A • B
检测
形成
这一题就让两个学生到黑板上来做， 其余同学在下面做，如果上面的同学 作对了，让他们来说一说，错了的也 让他们说说看，分析一下他们到底掌 握到什么程度。
练习
五、 课堂 小结
1、逻辑电路图与表达式之间的相互转换 2、逻辑表达式与真值表之间的互换
的组合数为 2n 。
那我们又是怎样填表了？
数为 n，则输入端所有状态的组合数为 2n 。 输入状态按 n 列加输出 n+1 列、2n 行
（2）列真值表时，输入状态按 n 列加输出 加两行（项目行）画好表格，然后将
输入端状态从右到左第一列从上到下
n+1 列、2n 行加两行（项目行）画好表格， 填入 0、1、0、1、0、1、填满为止，
电子教案--数字电子技术-第三章组合逻辑电路-XXXX-1
L ABC ABC ABC ABC m1 m2 m4 m7 m1 m2 m4 m7
F ABC ABC ABC m3 m5 m6 m3 m5 m6 G ABC ABC ABC ABC m0 m2 m4 m6 m0 m2 m4 m6
G
F
=m3+m5+m6+m7
= m3 m5 m6 m7 用一片74138加一个与非门
Y7 Y6 Y5 Y4 Y3 Y2 Y1 Y0 74138
G1 G2AG2B A2 A1 A0
就可实现该逻辑函数。
1 00 AB C
中北大学电子信息工程系
第三章 组合逻辑电路
例3.4.2.2 某组合逻 辑电路的真值表如表 4.2.4所示，试用译码器 和门电路设计该逻辑电路。 解： 写出各输出的最小项 表达式，再转换成与 非—与非形式:
1．七段数字显示器原理
COM
g f ab
a fgb
e
c
d DP
COM
e d c DP
中北大学电子信息工程系
COM
a b c d e f g DP
第三章 组合逻辑电路
a b c d e f g DP
COM
按内部连接方式不同，七段数字显示器分为共阴极和共阳极两 种。
2．七段显示译码器7448 七段显示译码器7448是一种 与共阴极数字显示器配合 使用的集成译码器。
S4 S5 S6 S7 S8 S9
中北大学电子信息工程系
解：（1）列出真值表：
第三章 组合逻辑电路
（2）由真值表写出各输出的逻辑表达式为：
A S8 S9 S8S9
B S4 S5 S6 S7 S4S5S6S7 中北大学电子信息工程系
计算机硬件技术基础电子教案、习题答案第4章
真值表
ABF 00 0 01 1 10 1 11 1
表达式
F AB
规则 0＋0=0 0＋1=1 1＋0=1 1＋1=1
或逻辑关系实现：或门
高等教育出版社
李桂秋 宋维堂 编
计算机硬件技术基础
三 非运算
【非逻辑案例】
非逻辑关系：事件结果与条件相反。
真值表
表达式
AF 01 10
FA
? 开关A为什么状态 时，灯亮？
A
≥1
F
B
逻辑功能
输入有1，输出为0 输入全0，输出为1
高等教育出版社
李桂秋 宋维堂 编
6 异或门
计算机硬件技术基础
逻辑符号
A
=1
F
B
逻辑功能
输入相同，输出为0 输入不同，输出为1
高等教育出版社
李桂秋 宋维堂 编
计算机硬件技术基础
7 与或非门
逻辑符号
A
&
B
≥1
F
C
D
逻辑表达式
F AB CD
高等教育出版社
计算机硬件技术基础
【例4.3】化简函数 F AB AB AC AD BD
解：F AB AB AC AD BD A AC AD BD A AD BD A D BD AD
高等教育出版社
李桂秋 宋维堂 编
计算机硬件技术基础
二、卡诺图法 卡诺图是化简逻辑函数的有效工具。化简的步骤是： ① 作出给定函数的卡诺图； ② 作“卡诺圈”，将卡诺图中相邻为“1”的2n个小方格圈起来。“卡诺 圈”应尽可能大，因为“卡诺圈”越大，化简后与项中变量的个数越少。 ③ 合并最小项。即对每一个卡诺圈中的各最小项，只保留取值相同的变 量作为化简后的与项。
真值表法习题
「真值表法」習題
(一)使用真值表來揭示下列述句式是恒真式、矛盾式或偶真式:
(1)[p→(p→q)]→q
(2)p→[p→(q＆～q)]
(3)(p→q)≡[(pｖq)≡q]
(4)[p＆(qｖr)]≡[(p＆q)ｖ(p＆r)]
(二)使用真值表來證明下列論證形式的有效性和無效性:
(5)p→q
∴～q→～p (6)p→(q→r) q→(p→r)
∴(pｖq)→r
(7)如果(p ) 森柏斯退出球賽, 那麼, 要麼(q ) 張德培得到勝利, 要麼(r ) 梅士達得到勝利。
張德培不會得到勝利。
所以, 如果森柏斯退出球賽, 那麼梅士達將得到勝利。
(8)如果(p ) 克雷設法借到一輛車, 那麼: 如果(q ) 他走高速公路, 那麼(r ) 他將在期限之內抵達目的地。
克雷會在期限之內抵達目的。
所以, 如果克雷弄到了一輛車, 那麼他將走高速公路。
(三)用間接真值表法證明下列論證是否有效:
(9) A→B
C→D
AｖD
∴BｖC
(10)如果史密斯聰明又勤奮, 那麼她會取得好成績並且完成她的學業。
如果史密斯勤奮但不聰明, 那麼她會受到讚許; 並且, 如果她受到讚許, 那麼她會完成她的學業。
如果史密斯是聰明人, 那麼她將勤奮學習。
所以, 史密斯會完成她的學業。
(I, S, G, P, A )。
电子教案模板精选
电子教案模板精选一、教学内容本节课我们将深入学习《电子技术基础》第五章“数字电路基础”，具体内容包括5.1节“逻辑门电路”，5.2节“组合逻辑电路”，以及5.3节“时序逻辑电路”。
通过本章节的学习，学生能够理解数字电路的基本原理，掌握常见逻辑门电路的功能及组合方式，以及分析简单的时序逻辑电路。
二、教学目标1. 理解并掌握基本逻辑门电路的工作原理及其符号表示。
2. 能够运用逻辑代数简化组合逻辑电路，并进行简单的时序逻辑电路分析。
3. 培养学生的实际操作能力，通过实践加深对数字电路的认识。
三、教学难点与重点重点：基本逻辑门的功能及组合使用，组合逻辑和时序逻辑电路的分析方法。
难点：逻辑代数的运用，时序逻辑电路的触发器工作原理及其应用。
四、教具与学具准备1. 教具：电子电路示教板，多媒体教学设备。
2. 学具：数字电路实验箱，逻辑门电路组件，万用表，实验手册。
五、教学过程1. 导入新课（5分钟）通过展示一些生活中常见的数字电路产品，如计算器、电子时钟，引发学生对数字电路的兴趣。
2. 理论讲解（20分钟）讲解5.1节逻辑门电路原理，结合示教板演示。
讲解5.2节组合逻辑电路，通过例题进行说明。
3. 实践操作（30分钟）学生分组，利用实验箱搭建简单的逻辑门电路，进行验证。
学生自行设计一个简单的组合逻辑电路，并进行测试。
4. 时序逻辑电路学习（20分钟）讲解5.3节时序逻辑电路，着重讲解触发器的工作原理。
通过互动提问，检验学生对时序逻辑电路的理解。
5. 随堂练习（15分钟）发放练习题，学生现场完成，教师即时反馈。
六、板书设计逻辑门电路的符号及其真值表。
组合逻辑电路的简化步骤。
触发器类型及时序逻辑电路的分析方法。
七、作业设计1. 作业题目：设计一个三人表决器的组合逻辑电路，并画出逻辑图及真值表。
解释D触发器和T触发器的工作原理，并比较它们的异同。
2. 答案：题目一：具体答案依据学生设计，但需包含正确的逻辑图和真值表。
中职第三册教案：逻辑式与真值表(第一课时)
逻辑变量之间除了“非运算”，“与运算”，“或运算”之外，还有它们之间的复合运算。
例如F=
【新课讲授】
1、逻辑式
由常量1,0以及逻辑变量经逻辑运算构成的式子叫做逻辑代数式，简称逻辑式。
例如 ,1, 0等都是逻辑式，
将各逻辑变量取定的一组值代入逻辑式，经过运算，可以得到逻辑式的一个值（0或1）.
2、真值表
【作业布置】
完成真值表：
阅读了解复合运算
掌握逻辑式的含义
掌握真值表的定义
观摩、理解
共同完成
讨论并完成真值表
学生板演
认真回顾记忆
课后认真完成
【板书设计】
第9课时逻辑式与真值表（1）
1、逻辑式
由常量1,0以及逻辑变量经逻辑运算构成的式子叫做逻辑代数式，简称逻辑式。
2、真值表
列出逻辑变量的一切可能取值与相应的逻辑式的值的表叫做逻辑式的真值表。
列出逻辑变量的一切可能取值与相应的逻辑式的值的表叫做逻辑式的真值表。
例如逻辑式 的真值表：
【例题精选】
例1．写出下列各式的运算结果
（1）
（2）
（3）
例2．完成下面的真值表
解：
【练习巩固】
1、写出下列各式的运算结果
（1） （2） （3）
（4） （5）
2、完成下面的真值表
【课堂总结】
本课时主要学习了逻辑式和真值表，并就此进行了应用练习。
课题
逻辑式与真值表（1）
课型
新授
学时
1
教学目标
1、了解逻辑式的定义
2、能根据给定的逻辑式，写成其对应的真值表
教学重点
正确给出一个逻辑式的真值表
教学难点
正确给出逻辑式的真值表
电子教案《数字电子技术(第5版_杨志忠)》教学资源第4章_组合逻辑电路
数字电子技术（第5版）第4章组合逻辑电路1.(261)要用n 位二进制数为N 个对象编码，必须满足（）。
A. N = 2nB. N ≥ 2nC. N ≤ 2nD. N = n答案.C2.(268)串行加法器的进位信号采用（）传递，并行加法器的进位信号采用（）传递。
A. 超前，逐位B. 逐位，超前C.逐位，逐位D.超前，超前答案.B3.(258)组合逻辑电路（）。
A. 可以用逻辑门构成B. 不可以用集成逻辑门构成C. 可以用集成逻辑门构成D. A与C均可答案.D4.(260)优先编码器的编码（）。
A.是唯一的B.不是唯一的C. 有时唯一，有时不唯一D. A、B、C都不对答案.A5.(262)用输出低电平有效的三线—八线译码器（74LS138）和逻辑门实现某一逻辑函数（）。
A. 一定用与非门B. 不一定用与非门C. 一定用非门D.一定用或门答案.B6.(263)要使三线—八线译码器74LS138能正常工作时，其使能端ST A，ST B，ST C的电平信号应是（）。
A. 100B. 111C. 000D. 011答案.A7.(264)一个有n位地址码的数据选择器,它的数据输入端有（）。
A. 2n 个B. 2n- 1个C. 2n – 1个D. n个答案.A8.(270)要消除竞争—冒险，下列说法中错误的是（）。
A. 修改逻辑设计B.引入封锁脉冲C. 加滤波电容D. 以上都不对答案.D9.(266)四位比较器（74LS85）的三个输出信号A>B，A=B，A<B中，只有一个是有效信号时，它呈现（）。
A. 高电平B. 低电平C. 高阻D.任意电平答案.A10.(269)已知CAB+A+，左式和右式的两个逻辑图分别是X和Y，产生+=AABBCC竞争—冒险的是（）。
A. XB. YC. X和YD.都不是答案.B11.(267)采用四位比较器（74LS85）对两个四位数比较时，最后比较的是（）。
A. 最高位B. 最低位C. 次高位D. 次低位答案.B12.(271)在下列逻辑电路中，不是组合逻辑电路的有（）。
大学教材《逻辑学教程》经典教案第三章真值表的判定作用
第三章真值表的判定作用第一节重言式矛盾式可满足式一、真值联结词比较下面两个例子1、如果天下雨，那么地上湿。
2、如果2+2=4，那么北京是个大城市。
第一例我们听起来就觉得顺耳，符合我们的语言习惯。
第二句我们听起来觉得有点别扭，不符合我们的语言习惯。
这就说明我们平时说“如果……那么……”时除了考虑前后件的真假以外，还考虑了前后件之间意义上的联系。
但是从现代逻辑的观点看，这两个命题都是正确的。
因为现代逻辑撇开了命题间意义上的联系，仅研究命题间的真假关系。
由于现代命题逻辑和传统逻辑一样都属二值逻辑，真和假是命题仅有的两个值，统称“真值”，因此，复合命题与肢命题之间在真假方面的联系，就是真值联系。
所谓真值联结词是指仅仅表示复合命题与肢命题之间真假关系的联结词。
基本的真值联结词有五个1、否定（并非）┒2、合取（并且）∧3、析取（或者）∨4、蕴涵（如果……那么……）→5、等值（当且仅当……才）←二、真值形式定义：真值形式是指由真值联结词和命题变项所构成的形式结构。
第二章所讲的所有的复合命题的形式结构和复合命题推理的形式结构都是真值形式。
但是第五章中的讲的性质命题和第六章所讲的关系的命题不是真值形式。
例：P∧q （P∧q）→P 是真值形式但 SAP aRb 不是真值形式真值形式是命题形式的一部分。
最基本的真值形式有五种1、否定式：┒P2、合取式：P∧q3、析取式：P∨q4、蕴涵式：P→q5、等值式：P←q其他的真值形式都是由这五种基本真值形式构成的。
三、重言式、矛盾式、可满足式（一）重言式的定义如果一真值形式不论其中的变项赋什么值，这个真值形式的值总是真的，这样的真值形式叫做重言式。
（重言式）如P∨ ┑q，P→P等等（二）矛盾式的定义如果一真值形式不论其中的变项赋什么值，这个真值形式的值总是假的，这样的真值形式就叫矛盾式。
（永假式）如P∧ ┑q（三）可满足式的定义如果一真值形式当其中的变项赋不同的值后，这个真值形式的值在有些情况下是真的，在有些情况下是假的，那么这样的真值形式就是可满足式。
4逻辑式与真值表全版.doc
4逻辑式与真值表全版.doc
一、复习
填表：
A B AB AB + 0 0 0 1 1 0 1 1
二、新课
1、逻辑代数式：
由常量1、0以及逻辑变量经逻辑运算构成的式子叫做逻辑代数式，简称逻辑式.
表示常量的1和0及单个变量都看作是逻辑式．
例如：()
(,A A B C AB C D +++??
，)，1，0等都是逻辑式． 2、逻辑运算的优先次序：依次为“非运算”，“乘运算”，“加运算”．
比如D=A B+C 的运算顺序应为：先计算A ，再计算A B ，最后计算A B+C ．对于添加括号的逻辑式，首先要进行括号内的运算． 3、真值表
列出逻辑变量的一切可能取值与相应逻辑式的值的表，叫做逻辑式的真值表．如A B AB ?+的真值表
A B AB AB +
0 0 1 1 0 0 0 1 0 1
1
1
学生完成
教师讲解
教师讲解。
最新真值表和其作用专业知识讲座
解：令p表示“逻辑难学”，q表示“许 多学生喜欢逻辑”，r表示“数学容易学”。 则该推理的真值形式是：
((p∨┓q)∧(r→┓p))→(q→ ┓r )
文档来源于网络，文档所提供的信息仅供参考之用，不能作为科学依据，请勿模
T
T
F
TF FF T T T T
T
T
T
FT TT F F F T
F
T
F
F T 由F T上述F 真T值表F可得T该推理T 是有T效的。F
文档来源于网络，文档所提供的信息仅供参考之用，不能作为科学依据，请勿模 仿。文档如有不当之处，请联系本人或网站删除。
【练习题】
一、填空题 1.若p←q取值为假，则p∧q取值为（ ）。 2.由“p∧q”真能推出“p∨q”（ ）。 3.已知p∧(q→r)与非r均真，则q取值为（ ）。 4.若p为任意值，要使p←q为真，q应取（ ）值。 5.“（p∧q）→p”这个推理是联言推理的（ ）式。 答案：1.假； 2.真； 3.假； 4.假； 5.分解
1与4等值;“如果非p,那么q”等值于“或者p,或者q” 2与3等值;“并非(p并且q)”等值于“或者非p,或者
非q”
文档来源于网络，文档所提供的信息仅供参考之用，不能作为科学依据，请勿模
四、写出仿下。文列档判如断有不的当等之处值，判请联断系和本矛人或盾网判站删断除。。
1.如果某化合物具有很强的毒性，那么就要严格限 制生产。
4.并非午夜天上最亮的星星，或者是牛郎星，或者 是织女星；所以： 能。结论为：午夜天上最亮的星不是牛郎星，也 不是织女星。(相容选言判断负判断的等值判断)
T
逻辑学真值表
➢推理形式：（（p→q）∧﹁p）→ ﹁q
2021/8/5
3
p q ﹁p ﹁q p→q （p→q）∧﹁p （（p→q）∧﹁p）→﹁q
TTFF T
F
T
TFFT F
F
T
FTTF T
T
F
FFTT T
T
T
2021/8/5
4
➢2.如果美国绕开联合国向伊拉克改动战 争，联合国的权威就会受到破坏。所 以，要想联合国的权威不会受到破坏， 美国就不绕开联合国向伊拉克改动战 争。
出判定。
➢ （1）如果主联结词一栏都为真，则该命题为重言式，相 应的推理有效。
➢ （2）如果主联结词一栏都为假，则该命题为矛盾式，相 应的推理无效。
➢ （3）如果主联结词一栏有真有假，则该命题为可真公式， 相应的推理无效。
2021/8/5
2
➢例如：用真值表法判定下列推理是否 有效。
➢1.如果乔丹是美国总统，那么他是美国 领导人。乔丹不是美国总统，所以， 他不是美国领导人。
p q ﹁p ﹁q ﹁p∨q p→q q←p ﹁q→﹁p ﹁p←﹁q
TTFF T
T
T
T
T
TFFT F
F
F
F
F
FTTF T
T
T
T
T
FFTT T
T
T
T
T
2021/8/5
1
➢ 真值表方法： ➢ 1.用符号表达出命题形式。 ➢ 2.列出命题形式中的命题变元。 ➢ 3.根据括号和联结词的用法确定命题形式内部的次序。 ➢ 4.画出真值表。 ➢ 5.依照确定的表达式次序检验真值。 ➢ 6.根据最后一步即主联结词一栏的真值情况对该表达式做