• 没有两个不同的极小项是等价的
  • 每个极小项只有一组成真赋值
  • 命题变元与 1 对应,命题变元的否定与 0 对应

不同的