极大项

$$P\vee Q\vee R\dots$$

• 没有两个不同的极大项是等价的
• 每个极大项只有一组成假赋值
• 命题变元的否定是 1，命题变元是 0