与或非

~(AB+CD)

异或

00|0

01|1

10|1

11|1

AB+AB

同或

00|1

01|0

10|0

11|1

带入定理

在所有该变量的地方代之同函数，结果不变

反演定理

+变*

*变+

1变0

0变1

原变量换反变量

反变量换原变量

先括号再与，最后或

不在单变量上的反号要保留

结果不变

对偶定理

+变*

*变+

1变0

0变1

Y’对偶式

两个相等的，他们的对偶式也相等

逻辑函数的化简方法

公式法 卡诺图法