; in other words, it states that if

and

are both true,

is false, i.e.

and