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

8 查阅

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

A.当且仅当它的每一个简单合取式都是重言式。

B.当且仅当它的每一个简单合取式都是矛盾式。

C.当且仅当它的每一个简单析取式都是矛盾式。

D.当且仅当它的每一个简单析取式都是重言式。

参考答案:

答案:B