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


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

正确答案:极小项


Tag:范式 数目 时间:2024-04-13 12:08:49