A.重言式B.矛盾式C.可满足式D.蕴含式
单项选择题若干可满足式与永假式合取，其值是（）。
A.永真式B.矛盾式C.可满足式D.重言式
单项选择题重言式一定是（）。
A.可满足式B.永假式C.矛盾式D.以上全错
单项选择题一个公式有成真的情况，则该公式是（）。
A.永真式B.永假式C.可满足式D.以上全部错误
单项选择题永真式又称为（）。
A.矛盾式B.可满足式C.重言式D.永假式
单项选择题设Σ={0，1}，则所有以11开头，以11结尾的字符串构成的集合对应文法（）。
A.B.C.D.
