合取范式的对偶式是析取范式。

A. 对
B. 错

对任意命题公式，不一定存在与其等价的析取范式和合取范式。

A. 对
B. 错

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

A. 对
B. 错

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

A. 对
B. 错

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

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

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

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

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

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

用等值演算法求公式((P∨Q)→R)→P的主析取范式。（注意：此处只写最终结果，写成mi的形式，且i从小到大的顺序排列，具体过程自己一定要在纸上实际演算。）

如果A为重言式，则A的主析取范式含全部，A的主合取范式不含任何。

如果A为非重言式的可满足式，则A的主析取范式至少含一个。