Definition
Clause
A clause is a disjunction of literals.
It is written
where each
is a literal. A clause with exactly one literal is a unit clause. A clause with no literals is the empty clause, denoted
, and is unsatisfiable.
Examples
Example
is a clause.
Example
is a unit clause.
Example
is the empty clause.