A.可满足式B.永假式C.矛盾式D.以上全错
单项选择题一个公式有成真的情况，则该公式是（）。
A.永真式B.永假式C.可满足式D.以上全部错误
单项选择题永真式又称为（）。
A.矛盾式B.可满足式C.重言式D.永假式
单项选择题设Σ={0，1}，则所有以11开头，以11结尾的字符串构成的集合对应文法（）。
A.B.C.D.
单项选择题矛盾式的值（）。
A.永远为真B.永远为假C.其值可能为真D.以上全部错误
单项选择题下面哪个联结词运算不可交换？（）
A.ÙB.®C.ÚD.«
