2.5逻辑函数的表达式

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

问题1：什么是命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？

16.1最简单的门电路 16.2集成TTL门电路 16.3CMs逻辑门电路

1. 关系运算符和关系表达式 2. 逻辑运算符和逻辑表达式 3. if语句 4. switch语句 5. 程序举例

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

2.1 概述 2.2 三种基本的逻辑运算 2.3 逻辑代数基本与常用公式 2.4 逻辑代数的基本定理 2.5 逻辑函数及其表示方法 2.6 逻辑函数的化简方法

一、公共政策系统及其环境 二、公共权力与公共政策 三、公民与 公共政策 四、公共政策运行的逻辑流程与决策科学化、民主化

19.1时序逻辑电路的概述 19.2寄存器 19.3计数器

逻辑代数( Logic Algebra)是由英国数 学家乔治布尔( George Boole)于1849年首 先提出的,因此也称为布尔代数( Boolean Algebra)。逻辑代数研究逻辑变量间的相互 关系,是分析和设计逻辑电路不可缺少的数学 工具。所谓逻辑变量,是指只有两种取值的变 量:真或假、高或低、1或0