描述命题演算公式的二义性文法G(S)为: S→S and S|S or S|not S|p|q|(S) 试为它写一个
文法,命题,公式
已帮助 人
描述命题演算公式的二义性文法G(S)为: S→S and S|S or S|not S|p|q|(S) 试为它写一个等价的无二义性文法。
请帮忙给出正确答案和分析,谢谢!
-
正确答案:S→SS or A|A A→SA and B|B B→not B|F F→p|q|(S)
命题演算的运算符合取and、析取or的运算规律为左结合,运算符的优先级从高到低为:括号()、非not、合取and、析取or。
