A-A+

描述命题演算公式的二义性文法G(S)为： S→S and S｜S or S｜not S｜p｜

2022-08-12 20:17:31 问答库阅读 197 次

问题详情

描述命题演算公式的二义性文法G(S)为： S→S and S｜S or S｜not S｜p｜q｜(S) 试为它写一个等价的无二义性文法。

请帮忙给出正确答案和分析，谢谢！

正确答案：S→SS or A｜AA→SA and B｜BB→not B｜FF→p｜q｜(S)
命题演算的运算符合取and、析取or的运算规律为左结合，运算符的优先级从高到低为：括号()、非not、合取and、析取or。