对偶定理

对偶式

逻辑表达式 $Y$ 经过以下对偶操作得到对偶式 $Y^{D}$

  1. 变量不变
  2. 常量
    1. $1\to 0$
    2. $0\to 1$
  3. 运算
    1. $+ \to \cdot$
    2. $\cdot \to +$
    3. $’$ 不变

对偶定理

若 $A=B$

则 $A^{D}=B^{D}$