forma normale congiuntiva
forma normale congiuntiva
forma normale congiuntiva impiegata nel linguaggio di programmazione logica → prolog, è una forma proposizionale composta come congiunzione di sottoforme proposizionali, ciascuna delle quali è una disgiunzione di lettere enunciative. È, quindi, del tipo A1 ∧ A2 ∧ ... ∧ An, dove A1, A2, ..., An indicano disgiunzioni di lettere enunciative. Per esempio, una proposizione in forma normale congiuntiva è la seguente:
poiché è la congiunzione di tre disgiunzioni di lettere enunciative.
Si parla di forma normale congiuntiva anche quando una delle componenti è formata da un sola lettera enunciativa: una lettera enunciativa può essere vista come la più semplice forma normale congiuntiva.
È possibile trasformare una qualsiasi proposizione in un’altra equivalente espressa in forma normale congiuntiva e, utilizzando le leggi di → De Morgan, è possibile riscrivere la proposizione in forma normale disgiuntiva, cioè come disgiunzione generalizzata di sottoproposizioni, ciascuna delle quali è una congiunzione generalizzata di lettere enunciative (→ Horn, clausola di).