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）两种取值，所以也称为二值代 数

一、什么是逻辑基本规律？ 逻辑基本规律就人们用概念、命题、推理等思维形式进行思维时必须遵守的最一般的准则。 逻辑基本规律有三条：同一律、矛盾律、排中律

第二章逻辑代数基础 本章知识要点: 一、基本概念; 二、基本定理和规则; 三、逻辑函数的表示形式; 四、逻辑函数的化简

⚫内容：推理形式和推理演算是数理逻辑研究的基本内容。 ⚫推理演算要用正确的推理：推理形式由前提和结论经蕴涵词联接而成。我们关注正确的推理形式 。正确的推理形式可由逻辑关系符表达。 ⚫非形式描述：本章对命题等值和推理演算进行的讨论，是以语义的观点进行的非形式的描述

1.由给定的逻辑图写出逻辑关系表达式。 （注意写的方向） 分析步骤（求解过程） 2.用逻辑代数或卡诺图对逻辑表达式进行化简。 （注意表达式的简化形式） 3.列出输入输出真值表并得出结论