相关考题
-
单项选择题
永真式又称为（）。
A.矛盾式
B.可满足式
C.重言式
D.永假式 -
单项选择题
设Σ={0，1}，则所有以11开头，以11结尾的字符串构成的集合对应文法（）。
A.
B.
C.
D.
-
单项选择题
矛盾式的值（）。
A.永远为真
B.永远为假
C.其值可能为真
D.以上全部错误
