单项选择题
永真式又称为（）。
A.矛盾式B.可满足式C.重言式D.永假式
单项选择题 设Σ={0，1}，则所有以11开头，以11结尾的字符串构成的集合对应文法（）。
单项选择题 矛盾式的值（）。
单项选择题 下面哪个联结词运算不可交换？（）
