# Conjunctive normal form

### From Glossary

A logical expression that is written as a conjunction,

where is the conjunction (logical and). Each
is called a *clause* and has the form

where is the disjunction (logical
inclusive or) and each is a *literal* -- a
proposition or its negation.