离散数学 第八单元 布尔代数

目录

1. 布尔函数

2. duality 二元性

3. 表示布尔函数的布尔表达式

sum-of-products expansions

4. Functional Completeness

5. Logic Gates 逻辑门

4. 最小化

K-map卡诺图

Quine-McCluskey法

1. 布尔函数

嗯也就是我要知道布尔代数是啥形式，逻辑等价是啥形式

2. duality 二元性

要做的改变是：

1换成0，0换成1

乘换成和，和换成乘

（变量不用动！）

3. 表示布尔函数的布尔表达式

sum-of-products expansions

4. Functional Completeness

能不能用最少布尔符号来组成布尔表达式？

The NAND operator | is 1 if either term is 0. The NOR operator ↓ is 1 if both terms are 0.

NAND只要有一个是0，就是1

NOR都是0才是1

5. Logic Gates 逻辑门​​​​​​​

两种画法

4. 最小化

K-map卡诺图

easy

Quine-McCluskey法

我知道怎么写了，这个表格的意思其实是，我看下左边那列的项，选中的项必须要能完全构成右边那排

比如这个，你发现右边那行最后一个项只能由x反y反（左边那列第二项得到），所以你的最终答案必须包括那一项 

一道例题：