Clause

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A disjunction of literals (atoms or their negations) treated as a single syntactic unit, commonly used in conjunctive normal form (CNF) and as the basic object for resolution-based proof procedures and SAT solving.