单项选择题

所有极小项的析取为：；所有极大项的和取为：。

A.矛盾式，重言式
B.重言式，矛盾式
C.可满足式，矛盾式
D.重言式，可满足式

你可能感兴趣的试题

单项选择题

什么条件下一个合取范式是重言式？

A.当且仅当它的每一个简单析取式都是矛盾式。
B.当且仅当它的每一个简单合取式都是矛盾式。
C.当且仅当它的每一个简单析取式都是重言式。
D.当且仅当它的每一个简单合取式都是重言式。

单项选择题

什么条件下一个析取范式是矛盾式？

A.当且仅当它的每一个简单合取式都是重言式。
B.当且仅当它的每一个简单合取式都是矛盾式。
C.当且仅当它的每一个简单析取式都是矛盾式。
D.当且仅当它的每一个简单析取式都是重言式。