« Informatique au lycée/Algèbre booléenne et circuits logiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 202 :
==== Commutativité ====
L'ordre est sans importance :
a + b = b + a
a·b = b·a
==== Distributivité ====
Comme avec les opérations mathématiques habituelles, il est possible de distribuer :
a·(b+c) = a·b + a·c
==== Idempotence ====
a + a + a + [...] + a = a
a·a·a·[...]·a = a
==== Élément neutre ====
a+0=a
a·1 = a
==== Élément nul ====
0·a = 0
1+a=1
==== Complémentarité ====
a = ¬(¬a)
a+ a = 1
a· a = 0
==== Théorème de De Morgan ====
| |||