Re: grammar for propositional logic

[John P. Hartmann]

If you mean why do you get the shift/reduce errors, it is because your
grammar is ambiguous.

You can deal with the ambiguity in several ways, but %left to specify
associativity and precedence as I said earlier seems like the easiest
in your case.

Doing that will remove all conflicts from your grammar, even the one
in state 14.

   j.