Hello,

Background on the problem
--------------------------
I have to write a rule or logical expression parser. The logical expression
will be very similar to a WHERE clause of a SQL statement. Parsing the rule
and building the operator-operand tree is not a problem the problem is
comparing two different expressions. I have to compare them and figure out
if they are logically equivalent

Question
Does anyone know where I can get information that would help me solve the
problem? Any books, perhaps code sample, articles? any help is greatly
appreciated.

Thanks!
Greg