# Disjunctive normal form

$LaTeX: D_1 \vee D_2 \vee \ldots \vee D_m$,
where $LaTeX: \vee$ is the disjunction (logical inclusive or). Each $LaTeX: D_i$ has the form
$LaTeX: L_{i_1} \wedge L_{i_2} \wedge \ldots \wedge L_{i_n}$,
where $LaTeX: \wedge$ is the conjunction (logical and) and each $LaTeX: L_i$ is a literal – a proposition or its negation.