超星 - 测验4-析取范式和合取范式 - 查题吧

单选题

下列哪个简单析取式是重言式（）

A. pÚØq
B. pÚq
C. ØpÚq
D. pÚØp

单选题

若有3个命题变项，则含有（）个极小项

A. 3
B. 6
C. 8
D. 9

单选题

若公式A为重言式，且含有2个命题变项，则公式A含有（）个极小项

A. 2
B. 4
C. 6
D. 8

单选题

若公式A为矛盾式，且含有3个命题变项，则公式A含有（）个极小项

A. 3
B. 6
C. 9
D. 0

单选题

若公式AÛ(pÙØq)Ùq，则公式A的类型是（）

A. 重言式
B. 非重言式的可满足式
C. 矛盾式
D. 以上都不是

单选题

若公式(p®Øq)®r Û m1Úm3Úm5Ú m6Úm7，则公式A的成假赋值是（）

A. 001,011,101,110,111
B. 010,100,110
C. 001,011,101
D. 000，010,100

判断题

非永真式的可满足式的主合取范式中至少含一个极大项、但不是全部极大项

A. 对
B. 错

1