match the logical expression on the left with the statement on the right which is logically equivalent to its negation, where no negation operator is to the left of a quantifier in its scope.