« Approfondissements de lycée/Logique » : différence entre les versions

Contenu supprimé Contenu ajouté
Tavernierbot (discussion | contributions)
m Bot: Retouches cosmetiques
Ligne 143 :
 
=== Composition des tables de vérité ===
Les trois tables de vérité présentées ci-dessus sont les tables de vérité les plus basiques et servent comme blocs pour contruire les tables plus compliquées. Supposons que nous voulions une table de vérité pour xy + z (i.e. x ET y OU z). Notons que cette table impliquimplique trois variables (x, y et z), donc nous voulons l'exprimer dans une plus grande que celles précédentes.
 
Pour construire une table de vérité, d'abord nous écrivons toutes les combinaisons possibles des trois variables :