Clause (logique)
Un article de Wikipédia, l'encyclopédie libre.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Une clause en logique booléenne est une disjonction de littéraux. En calcul propositionnel, une clause est de la forme :
où les li sont des littéraux.
La clause vide, c'est-à-dire la disjonction de 0 littéraux, s'évalue toujours à faux.