# Disjunctive normal form

### From Glossary

A logical expression that is written as a disjunction,

where is the disjunction (logical inclusive or). Each has the form

where is the conjunction (logical and) and each is a literal – a proposition or its negation.