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

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

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