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

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

单项选择题 矛盾式的值（）。