一个公式有成真的情况，则该公式是（）。

永真式又称为（）。A.矛盾式B.可满足式C.重言式D.永假式

单项选择题永真式又称为（）。

设Σ={0，1}，则所有以11开头，以11结尾的字符串构成的集合对应文法（）。A.B.C.D.

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

矛盾式的值（）。A.永远为真B.永远为假C.其值可能为真D.以上全部错误

单项选择题矛盾式的值（）。