重言式一定是（）。

一个公式有成真的情况，则该公式是（）。A.永真式B.永假式C.可满足式D.以上全部错误

单项选择题一个公式有成真的情况，则该公式是（）。

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

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

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

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