相关考题
-
单项选择题
一个公式有成真的情况,则该公式是()。
A.永真式
B.永假式
C.可满足式
D.以上全部错误 -
单项选择题
永真式又称为()。
A.矛盾式
B.可满足式
C.重言式
D.永假式 -
单项选择题
设Σ={0,1},则所有以11开头,以11结尾的字符串构成的集合对应文法()。
A.
B.
C.
D.
