一、完全真值表法的判定功用 二、归谬赋值法的操作与判定 三、命题演算证明方法的应用与构造

对于任何一个逻辑函数的功能描述都可以作出真值表，根据真值表可以写出该函数的最小项之和及最大项之积的形式

第一节 真值表方法 第二节 命题演算的证明方法 第三节 假设证明法与反证法的区别与综合应用 一、假设证明法与反证法的区别 二、假设证明法与反证法的综合应用 1、在证明中的综合应用 2、在推理中的综合应用 三、命题逻辑定理的证明

分析目的: 找出给定逻辑电路输出和输入之间的逻辑关系,了解其逻 辑功能。 分析步骤: ①电路→逻辑函数式 ②化简 ③逻辑函数式→真值表 ④逻辑函数式、真值表概括出逻辑功能

一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题

1.1用真值表证明下列恒等式: (1)B=A⊙B=B1 (2)A(B⊕C)=AB⊕AC (3)(+B)(+C)(B+C)=(a+b)(a+c) 1.2用基本定律和运算规则证明下列恒等式: (1)(A+B+C)(A+B+C)= AB+ AC +BC (2)ABD+ ABD+ABC AD+ ABC (3)A+ABC+ ACD +(C+D)E =A+CD+E (4)AB +AC'+BC= ABC ABC

一、图10-1异或门逻辑图 二、表10-1异或门真值表

组合逻辑电路的分析,就是将电路图上的连接,转化为易于归纳的形式,进而了解电路的功能。分析步骤如下: (1)从输入向输出逐级推导,得到最终的输出表达式 (在这个过程中,有时可以设几个中间变量) (2)表达式化简。 (3)由逻辑表达式列出真值表

4.3 分析图4.3电路的逻辑功能 4.4 解:列真值表

一、真值联结词 定义：真值联结词是指仅仅表示复合命题与肢命题之间真假关系的联结词。真值联结词主要有五个：¬（否定）、∧（合取）、∨（析取）、→（蕴涵）、←→（等值）