广东海洋大学：《数字电子技术》课程教学资源（PPT课件）2.3 逻辑函数及其描述方法 2.6 逻辑函数式形式的变换

一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法

第一章绪论 第二章命题的逻辑分析 第三章命题推理的形式 第四章真值表方法与命题演算 第五章传统谓词逻辑 第六章谓词演算 第七章模态逻辑 第八章归纳逻辑 第九章假说与侦查假设 第十章论证与论辩 第十一章谬误 第十二章逻辑基本规律

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

2.1 逻辑代数的基本概念 2.2 逻辑代数的基本定理和规则 2.3 逻辑函数表达式的形式与变换 2.4 逻辑函数的简化

用数学方法表示命题陈述的逻辑结构，将形式逻辑归结为代数演算， 称为 “布尔代数”。将布尔代数用于集成电路逻辑门，称为逻辑代数

这一章的习题从内容上可以分为四种类型:逻辑等式的证明逻辑函数不同 表示方法之间的转换、逻辑函数形式的变换和逻辑函数的化简。下面分别总结、 归纳一下这几种类型习题的解题方法并给出相应的例解

一：逻辑代数的基本定律 二：逻辑代数的三个重要规则 三：异或和同或运算公式 四：逻辑函数表达式的常用形式 五：逻辑函数表达式的相互转换

1.1 数制与代码 1.2 逻辑函数 1.3 逻辑代数的基本定律和运算规则 1.4 逻辑函数的代数化简法 1.5 逻辑函数的卡诺图化简 1.6 逻辑函数的常用表达形式

逻辑代数：描述和研究客观世界中事物间逻辑 关系的数学，它把事物间逻辑关系简化为符号 间的数学运算。 用类似普通代数形式研究逻辑代数是英国数学家 布尔（G. Boole）最早提出，所以也称为布尔代数。 又因为布尔代数中的常量、变量都只有“真”（True ）和“假”（False）两种取值，所以也称为二值代 数