forma normale disgiuntiva

Enciclopedia della Matematica (2017)

forma normale disgiuntiva


forma normale disgiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come disgiunzione generalizzata di sottoforme proposizionali, ciascuna delle quali è una congiunzione generalizzata di lettere enunciative (→ forma normale congiuntiva; → Horn, clausola di).

Tag
Vocabolario
normale
normale agg. [dal lat. normalis «perpendicolare», der. di norma (v. norma)]. – 1. Perpendicolare (sign. direttamente connesso a quello etimologico di norma «squadra»): retta n. ad altra retta, a un piano, ecc.; retta n. a una curva in un...
disgiunto
disgiunto agg. [part. pass. di disgiungere]. – Separato, staccato: la forza, d. dal diritto, può degenerare in violenza; soffre molto a vivere d. dai suoi; Nostre misere menti e nostre salme Son d. in eterno (Leopardi); letter., lontano,...