# Conjunctive normal form

A logical expression that is written as a conjunction,

$LaTeX: C_1 \wedge C_2 \wedge \ldots \wedge C_m$,

where $LaTeX: \wedge$ is the conjunction (logical and). Each $LaTeX: C_i$ is called a clause and has the form

$LaTeX: L_{i_1} \vee L_{i_2} \vee \ldots \vee L_{i_n}$,

where $LaTeX: \vee$ is the disjunction (logical inclusive or) and each $LaTeX: L_i$ is a literal -- a proposition or its negation.