描述命题演算公式的二义性文法G(S)为:S→SandS|SorS|notS|p|q|(S)试为它写一个等价的无二义性文法。
若文法G定义的语言是无限集,则文法必然是()
A、递归的
B、前后文无关的
C、二义性的
D、无二义性的