Clause

A disjunction of Literals, which means a formula in the form of:

$I_1^{{\alpha }_1}\vee \dots \vee I_n^{{\alpha }_n}$

Also see:

• Empty Clause
• Unit Clause