什么条件下一个析取范式是矛盾式？
A.当且仅当它的每一个简单合取式都是重言式。
B.当且仅当它的每一个简单合取式都是矛盾式。
C.当且仅当它的每一个简单析取式都是矛盾式。
D.当且仅当它的每一个简单析取式都是重言式。
正确答案：B
什么条件下一个析取范式是矛盾式？
5次阅读