一、ABEL语言逻辑方程设计法 逻辑方程是ABEL源文件描述逻辑设计 的一种方法。它既可进行组合逻辑设计, 也可进行时序逻辑设计,但有时不如真值 表和状态图逻辑设计简单、易懂 但任何一种逻辑描述方式,经EDA软件 编译后,都会变成逻辑方程的形式

1.1 数制与BCD码 1.1.1 常用数制 1.1.2 几种简单的编码 1.2 逻辑代数基础 1.2.1 基本逻辑运算 1.2.2 复合逻辑运算 1.2.3 逻辑电平及正、负逻辑 1.2.6 逻辑函数的化简 1.2.5 逻辑函数的标准形式 1.2.4 基本定律和规则

2.1逻辑代数的三种基本运算 2.2逻辑代数的基本定律和规则 2.3复合逻辑 2.4逻辑函数的两种标准形式 2.5逻辑函数的代数化简法口 2.6逻辑函数的卡诺图化简 2.7非完全描述逻辑函数的化简

2.1逻辑代数的三种基本运算 2.2逻辑代数的基本定律和规则 2.3复合逻辑 2.4逻辑函数的两种标准形式 2.5逻辑函数的代数化简法 2.6逻辑函数的卡诺图化简 2.7非完全描述逻辑函数的化简

2.1 逻辑代数的三种基本运算 2.2 逻辑代数的基本定律和规则 2.3 复合逻辑 2.4 逻辑函数的两种标准形式 2.5 逻辑函数的代数化简法 2.6 逻辑函数的卡诺图化简 2.7 非完全描述逻辑函数的化简

第六章异步时序逻辑电路 异步时序逻辑电路中没有统一的时钟脉冲信号,电路状态的改变是外部输入信号变化直接作用的结果。 根据电路结构和输入信号形式的不同,异步时序逻辑电 路可分为脉冲异步时序逻辑电路和电平异步时序逻辑电路两 种类型。 两类电路均有 MealyMoore型和型两种结构模型

2.8逻辑函数的标准形式 一、积项(与项):逻辑变量只进行与运算。 二、和项(或项):逻辑变量只进行或运算

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

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

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