path: root/test/regress/regress0/boolean-prec.cvc

% 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);