反演定理

已知

  • 逻辑表达式 $Y$

  1. 变量
    1. 变量 $\to$ 反变量
    2. 反变量 $\to$ 变量
  2. 常量
    1. $0\to 1$
    2. $1 \to 0$
  3. 运算
    1. $+ \to \cdot$
    2. $\cdot \to +$
    3. 非单变量的 $’$ 运算保持不变
  4. 反演操作后得到的新逻辑表达式就是 $Y'$