Disjunctive normal form

From Glossary

Jump to: navigation, search

A logical expression that is written as a disjunction,

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.

Personal tools