Clause A disjunction of Literals, which means a formula in the form of: I1α1∨…∨InαnI_1 ^{\alpha_1} \vee \ldots \vee I_n ^{\alpha_n}I1α1∨…∨Inαn Also see: Empty Clause Unit Clause