Clause (logic)

In mathematical logic, a clause is an expression formed by a finite collection of literals (variables or their negations) that is true when at least one of the literals that form it is true. In propositional logic clauses are usually described as a disjunction of literals l i {\displaystyle l_{i}} :

l 1 & # x2228; & # x22EF; & # x2228; l n {\displaystyle l_{1}\vee \cdots \vee l_{n}}

Analogously, a conjunct clause is called a conjunction of literals: l 1 & # x2227; & # x22EF; & # x2227; l n {\displaystyle l_{1}\wedge \cdots \wedge l_{n}}

wiki