% EXPECT: valid
% Simple test for right precedence of AND, <=>, NOT.
A, B, C: BOOLEAN;
QUERY (NOT A AND NOT B <=> C) <=> (((NOT A) AND (NOT B)) <=> C);
% EXIT: 20
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback