2.1 逻辑代数 2.1.1 基本逻辑 2.1.2 基本逻辑运算 2.1.3 真值表与逻辑函数 2.1.4 逻辑代数的基本定律 2.1.5 三个规则 2.1.6 常用公式 2.1.7 逻辑函数的标准形式 2.2 逻辑函数的简化 2.2.1 简化的意义和目标 2.2.2 公式化简法（代数法） 2.2.3 图解法（卡诺图法） 2.2.4 逻辑函数的系统简化法

2.1 逻辑代数 2.1.1 基本逻辑 2.1.2 基本逻辑运算 2.1.3 真值表与逻辑函数 2.1.4 逻辑代数的基本定律 2.1.5 三个规则 2.1.6 常用公式 2.1.7 逻辑函数的标准形式 2.2 逻辑函数的简化 2.2.1 简化的意义和目标 2.2.2 公式化简法（代数法） 2.2.3 图解法（卡诺图法） 2.2.4 逻辑函数的系统简化法

本文对计算机辅助气动系统逻辑设计进行了深入研究,选择了逻辑综合的方法作为计算机辅助气动系统逻辑设计基本方法,采用立方符号表述逻辑函数,把逻辑运算表示为立方的相交、相容及锐积运算,提出用判断最小项来完成对给定程序的判断和校正,进而实现了计算机的辅助逻辑综合,得到了最优的逻辑设计结果,并将此应用于计算机辅助气动系统设计中取得了良好的效果

本文结合二阶逻辑公理系统和无穷逻辑公理系统两种思想,应用和谐性质方法,建立了无穷逻辑中的二阶语言Lω1ω（Q）公理系统及模型论,对Lω1ω（Q）中的同构定理及Craig插值定理给予了证明

清华大学：《逻辑设计与数字系统》课程教学资源（PPT课件）第五章 集成逻辑电路（5-3-2）可编阵列逻辑

一、布尔代数 二、 逻辑门 三、组合逻辑电路 四、时序电路

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

基础部分一： 1、逻辑：命题逻辑、谓词逻辑 2、集合：集合、函数 基础部分二： 1、算法 2、数论 3、代数系统

“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

7.1 PLD 概述 7.1.1 PLD 的电路结构及分类 7.1.2 PLD 的编程工艺及描述的逻辑规则和符号 7.1.3 PLD 的设计过程及主要优点 7.2 只读存储器 7.2.1 ROM 的内部结构 7.2.2 用ROM 实现组合逻辑设计 7.2.3 常用的LSI ROM器件 7.3 可编程逻辑阵列 7.4 可编程阵列逻辑 7.4.1 组合PAL器件 7.4.2 时序PAL器件 7.5 通用逻辑阵列概述 7.5.1 GAL器件的主要特点 7.5.2 GAL器件的基本机构 7.5.3 GAL器件的命名及分类 7.6 硬件描述语言