单项选择题

永真式又称为（）。

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

<上一题 目录 下一题>
热门 试题

单项选择题
设Σ={0，1}，则所有以11开头，以11结尾的字符串构成的集合对应文法（）。

A.
B.
C.
D.
单项选择题
矛盾式的值（）。

A.永远为真
B.永远为假
C.其值可能为真
D.以上全部错误
相关试题