Forma normal disjuntiva

En lógica booleana, una fórmula està en forma normal disjuntiva (FND) si correspon a una disjunció de clàusules conjuntives, on una clàusula conjuntiva és una conjunció de literals, on un literal i el seu complement no poden aparèixer a la mateixa clàusula.

Totes les conjuncions de literals i totes les disjuncions de literals estan en FND, car poden ser vistes, respectivament, com a disjuncions d'una única clàusula, i com a disjuncions de clàusules d'un literal. De la mateixa forma que en una forma normal conjuntiva (FNC), els únics connectors lògics que poden aparèixer en una fórmula en FND són la conjunció, la disjunció i la negació. L'operador negació només pot aplicar-se a un literal, i no a una clàusula completa, la qual cosa significa que només pot precedir una variable proposicional.

Vegeu també

• Forma normal conjuntiva

Enllaços externs

• Aplicació Java per convertir FNC i FND, utilitzant lleis lògiques Arxivat 2012-12-08 at Archive.is (en anglès)
• Aplicació 3D que mostra la diferència entre FNC i FND per a diferents Triples De Morgan Arxivat 2010-02-19 a Wayback Machine. (en anglès)