TABLES DE VERITE

Elles ont commencé à apparaître au III eme sciècle avant notre
ère, grace aux travaux de l'école de Mégare, Diodore Cronos, Philon,
et surtout grace à Chrysippe.

Le tout construit sur des propositions simples et des opérateurs
logiques:
ET, OU , OU exclusif, SI..ALORS, ....


Ce n'est que bien plus tard, que George BOOLE et Bertrand RUSSEL, vont
reprendre ces travaux et leur donner cette forme moderne qui est
utilisée aujourd'hui.


je ne vais pas réecrire ces tables ici que vous trouverez facilement
sur le web.


il faut noter le lien entre les tables de vérité et la théorie des
ensembles:


l'opérateur ET (conjonction) présente des similitudes avec
l'intersection de deux ensembles.


L'opérateur OU (disjonction) présente des similitudes avec la
réunion de deux ensembles.


En algorithmique, pour vérifier si une conjonction ET est Vrai, cela
oblige à vérifier que toutes les propositions sont Vrai.


Par contre pour vérifier si une Disjonction OU est vrai, il suffit de
trouver une seule proposition Vrai, et donc sortir de la boucle
d'exécution dès la première proposition Vrai trouvée.