summaryrefslogtreecommitdiff
path: root/test/regress/regress0/boolean-prec.cvc
blob: 07a2aa2f57ecd3778157f9f038645358059b8c51 (plain) 
1
2
3
4
5
6

% EXPECT: entailed
% 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);
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback