Clause
concept
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.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Clause_(logique)
Lien Wikidata : https://www.wikidata.org/wiki/Q1228746
Propriétés
- p279_labels
- disjonction logique, ensemble fini