题目内容

任意两个不同极小项的合取必为假。

A. 对
B. 错

查看答案
更多问题

任何命题公式都存在着与之等价的主析取范式和主合取范式,并且是唯一的。

A. 对
B. 错

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

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

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

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

所有极小项的析取为:;所有极大项的和取为:。

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

答案查题题库