首页
›
答案
›
题库
›
超星尔雅学习通未分类
什么条件下一个析取范式是矛盾式?
什么条件下一个析取范式是矛盾式?
A.当且仅当它的每一个简单合取式都是重言式。
B.当且仅当它的每一个简单合取式都是矛盾式。
C.当且仅当它的每一个简单析取式都是矛盾式。
D.当且仅当它的每一个简单析取式都是重言式。
正确答案:B
标签:
重言
矛盾
范式
上一条:
任何命题公式都存在着与之等价的主析取范式和主合取范式,并且是唯一的。
下一条:
什么条件下一个合取范式是重言式?