A是可满足式当且仅当A的主析取范式至少包含A的一个（），或A的主合取范式所包含的A的极大项的数目小于2n个。

A是可满足式当且仅当A的主析取范式至少包含A的一个（），或A的主合取范式所包含的A的极大项的数目小于2n个。
正确答案：极小项