Clause

logic

Definition

Clause

A clause is a disjunction of literals.

It is written

$$L_1\vee \cdots \vee L_n$$

where each $L_i$ is a literal.

A clause with exactly one literal is a unit clause. A clause with no literals is the empty clause, denoted $\square$, and is unsatisfiable.

Examples

Example

$(\neg p\vee q\vee \neg r)$ is a clause.

Example

$\neg p$ is a unit clause.

Example

$\square$ is the empty clause.