极大项 & 极小项

• 在含有 个命题变元的短语或子句中， 若每个命题变元与其否定不同时存在，且二者之一恰好有且只出现一次，并出现的次序与一致 ，则称此短语或子句为关于 的一个 极大项 或 极小项 。

极小项

• 没有两个不同的极小项是等价的。

极大项

• 没有两个不同的极大项是等价的。

(★) 例题#1 - 求下列命题公式的极大项或极小项编码

性质

 在给定的 析取范式 中，若每个短语都是 极小项 ，且按编码 从小到大的顺序 排列，则称该范式为 主析取范式 。

 在给定的 合取范式 中，若每个子句都是 极大项 ，且按编码 从小到大的顺序 排列，则称该范式为 主合取范式 。

 任何公式都有与之等价的主析取范式和主合取范式。