« Approfondissements de lycée/Logique » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Indexation dans Catégorie:Approfondissements de lycée (livre) |
m Orth., Typo. using AWB |
||
Ligne 5 :
== Algèbre booléenne ==
Dans le monde noir et blanc des idéaux, il existe la vérité absolue. C'est
<br />
:"Un plus un égale deux." Vrai ou faux ?
Ligne 39 :
Il existe une bonne raison de choisir le signe multiplicatif pour l'opération ET. Comme nous le verrons plus tard, nous pouvons faire certains parallèles entre la multiplication et l'opération ET.
L'algèbre booléenne, que nous sommes en train d'étudier
L'algèbre booléenne possède les opérations (ET et OU) analogues à l'algèbre ordinaire que nous connaissons et que nous aimons.
=== Tables de vérité de base ===
Nous avons tous eu à mémoriser la table de multiplication et maintenant, nous la connaissons par
Considérons l'opération ET qui est analogue à la multiplication. Nous voulons considérer :
Ligne 88 :
|}
Maintenant, nous devrions être capable de voir pourquoi nous disons que ET est analogue à la multiplication, nous remplacerons le ET par x, ainsi '''x ET y''' devient '''x x y''' (ou simplement ''xy'').
:0 x 0 = 0
:0 x 1 = 0
Ligne 878 :
</math>
Comme le
==== Simplification ====
|