Clause

disjonction de littéraux d'une formule logique

Une clause en logique booléenne est une conjonction ou une disjonction de littéraux. On parle respectivement de clause conjonctive et de clause disjonctive. Sans précision c'est le plus souvent la clause disjonctive qui est sous-entendue.

Propriétés

p279_labels

disjonction logique, ensemble fini

Catégories

Mots liés