Netencyclo, The wikipedia mirror - The biggest multilingual encyclopedia : Clause (logique)

- Clause (logique) -

Clause (logique) :

Outils :

Vous avez un site web ? Un blog ?

 Netencyclo Directory Project 




Mettre en favoris !

Add to Netvibes
Technorati reactions
rencontre

Clause (logique)

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir Clause. Page d'aide sur l'homonymie
Cet article est une ébauche concernant la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Une clause en logique booléenne est une disjonction de littéraux. En calcul propositionnel, une clause est de la forme :

l_1 \vee \cdots \vee l_n

où les li sont des littéraux.

La clause vide, c'est-à-dire la disjonction de 0 littéraux, s'évalue toujours à faux.

[modifier] Voir aussi

rencontre

Clause (logique) - En savoir plus

Rencontre Clause (logique) - Articles à  la une


"Je rencontre quelques peines, je rencontre beaucoup de joie, c'est parfois une question de chance, souvent une rencontre de choix."
© 2008 Netencyclo - Netencyclo Home - Terms of Service - Privacy Policy - Program Policies
Netencyclo, the Wikipedia mirror : the biggest multilingual free-content encyclopedia on the Internet. Cet article, miroir de l'article de Wikipédia est conforme aux termes de la GFDL All Wikipedia content is licensed under the GNU Free Documentation License (see details). Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities.