1.逻辑代数的基本概念与基本运算 2.逻辑函数及其表示方法 3.逻辑代数的基本运算的定律、定理和重要规则 4.逻辑代数的简化

2.1计算机中常用的组合逻辑电路 2.2时序逻辑电路 2.3时序逻辑电路设计基础有限状态机理论 2.4阵列逻辑电路

1.基本逻辑门电路 2.组合逻辑门电路的分析与设计 3.组合逻辑电路 时序逻辑电路

第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论

• 组合逻辑电路和时序逻辑的概念； • 组合逻辑电路设计实例； • 时序逻辑电路设计实例

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

1-1 模糊逻辑的发展 1-2 模糊逻辑与计算机 1-3 模糊逻辑与人工智能 1-4 模糊逻辑技术中的几个问题 2-1 模糊逻辑及其表述 2-2 二值逻辑、多值逻辑和模糊逻辑 2-3 模糊逻辑推理方法 2-4 解模糊判决方法

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

清华大学：数字逻辑_第一章逻辑代数及逻辑函数的化简(2/2)

清华大学：数字逻辑_第一章逻辑代数及逻辑函数的化简(1/2)