全体小项合取式为()。A、可满足式B、矛盾式C、永真式D、A、B、C都有可能

第1题：

全体极小项的合取式一定是永真式。

第2题：

下列结论中不正确的是

A．三个命题变元的布尔小项ØP∧Q∧ØR的编码是m010

B．三个命题变元的布尔大项ØP Ú QÚ ØR 的编码是M101

C．任意两个不同的布尔小项的析取式必为永真式

D．任意两个不同的布尔大项的析取式必为永真式

第3题：

使用归谬赋值法时，如果设原公式的主联结词为1，最后得到了无矛盾的赋值结果，则可以证明原公式是：

A．重言式

B．矛盾式

C．可满足式

D．偶真式

第4题：

判断公式的类型（P→Q）∧（Q→P）（）

A．永真式

B．永假式

C．可满足式

D．不知道

第5题：

请用归谬法判定“（p蕴含q合取p）蕴含非p”是否是永真式。