Dada uma tabela de verdade existe uma fórmula do cálculo proposicional com essa tabela de verdade.
Uma fórmula 
com variáveis proposicionais
diz-se na forma disjuntiva normal se for
uma disjunção de conjunções da forma
onde cada 
é 
ou
, i=1, 2,..., n.
Cada fórmula do cálculo proposicional que não seja uma contradição é tautologicamente equivalente a uma fórmula em forma disjuntiva normal.