数字逻辑

• 教材：数字逻辑与Verilog硬件描述语言
• 答疑周五上午10点 瀚学1115
• 考勤10%，作业10%，上机20%，期末60%

逻辑代数基础

• 逻辑代数中的几个概念
• 逻辑代数中的基本计算
• 逻辑代数的基本定理及规则
• 逻辑函数的性质
• 逻辑函数的化简

逻辑代数中的几个概念

布尔代数被应用于继电器电路的分析与描述，形成二值布尔代数，即开式代数，又称逻辑代数。

逻辑命题: 一段描述逻辑问题的有用的文字

正逻辑规定
0 T
1 F

负逻辑规定
0 F
1 T

逻辑变量: 用来表示逻辑命题的变量
逻辑函数：$F=f(A_1,A_2,...,A_n)$
逻辑函数相等的定义：F和G都是关于n个变量的逻辑函数，当且仅当F和G在所有可能的输入组合下的输出值都相等时，称F和G相等

逻辑代数中的基本计算

• 与运算（逻辑乘）：$F=A\cdot B$
• 或运算（逻辑加）：$F=A+B$
• 非运算（求补）：$F=\overline{A}$

摩根定理;
多余项定理;