▪ 命题变项与合式公式 ▪ 公式的赋值 ▪ 真值表 ▪ 命题的分类 重言式 矛盾式 可满足式

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

1.1用真值表证明下列恒等式 (1)⊕B=A⊙B=AB1 (2)A(B⊕C)=AB⊕AC (3)(A+B)(A+C)(B+C)=(a+B)(a+C)

• 逻辑代数=布尔代数=开关代数 解决逻辑问题的理论方法 ，与布尔、香农有关 • 主要内容 基本逻辑关系：与、或、非及其组合 逻辑函数的表示方法：函数式 真值表 卡诺图 逻辑图 逻辑函数的化简方法：代数法和卡诺图法

一、命题的特征与种类 二、复合命题的形式表达与刻画 三、复合命题五种联系的逻辑性质与真值表刻画 四、多重复合命题语句符号化的操作方法

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

一、ABEL语言常用语句 1、 Module(模块语句) 格式: MODULE模块名 模块名由用户自定义 例:MODU《4comp

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

◆根据逻辑功能的不同特点，常把数字电路分成组合逻辑电路（简称组合电路）和时序逻辑电路（简称时序电路）两大类。 ◆组合电路逻辑功能表示方法：通常有逻辑函数表达式、真值表（或功能表）、逻辑图、卡诺图、波形图等五种

1.1命题及联结词 1.2命题公式与翻译 1.3真值表和等价公式 1.4重言式 1.5范式 1.6全功能联结词集 1.7对偶式与蕴含式 1.8命题逻辑的推理理论