A predicate

$$

q on Boolean $($T$/$F$)$ variables

$$

$1$

$,$

$...$

$,$

$$

$$

v

$1$

$$

$,...,$v

n

$$

is a contradiction iff $($There are two correct answers; select both.$)$ Let's create a "contradiction checker" that will return true iff a given predicate

$$

q on

$$

n Boolean inputs is a contradiction.