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