Fwd: grammar for propositional logic

[John P. Hartmann]

---------- Forwarded message ----------
From: John P. Hartmann <address@hidden>
Date: 1 September 2010 07:49
Subject: Re: grammar for propositional logic
To: Martin McDermott <address@hidden>


You should inspect the .output file to resolve your conflicts.  For
something as simple as yours, you should have zero tolerance for
conflicts, even shift/reduce.

As a minimum you need to deal with operator associativity and precedence.

%left T_OR T_XOR
%left T_AND

Might be what you want, if AND binds closer than OR.

  j.