A是矛盾式当且仅当A的主合取范式包含A的所有()。


A是矛盾式当且仅当A的主合取范式包含A的所有()。

正确答案:极大项


Tag:范式 矛盾 时间:2024-04-07 10:16:55