Les portes logiques s 'appuient sur les principes de la logique binaire ( 0 , 1 ).
Nous allons passer en revue les différentes portes et tout d' abord quelques rappels et analogies avec les circuits électriques .
Le 0 représente un interrupteur ou contacteur ouvert (le courant ne passe pas) Le 1 représente un contacteur fermé (le courant passe).
Un contacteur normal ( a ) laisse passer le courant quand on l'actionne, un contacteur inverse ( $\bar a$ ) quand on le laisse au repos .
Si a = 0 alors s = 1 et si a = 1 alors s = 0.
Voici le symbole de la porte logique et la table de vérité de la fonction NON.
s = NON a
![]() |
|
![]() Clique sur les entrées pour changer l'état |
Voici le symbole de la porte logique et la table de vérité de la fonction ET.
s = a ET b
![]() |
|
![]() Clique sur les entrées pour changer l'état |
Voici le symbole de la porte logique et la table de vérité de la fonction OU.
s = a OU b
![]() |
|
![]() Clique sur les entrées pour changer l'état |
Voici le symbole de la porte logique et la table de vérité de la fonction XOR.
s = a XOR b
![]() |
|
![]() Clique sur les entrées pour changer l'état |
NON a
se note $\bar a$
a ET b
se note $a\cdot b$
a OU b
se note $a+b$
a XOR b
se note $a\oplus b$
Tout d’abord, les symboles utilisés en algèbre de Boole, bien qu'en apparence similaires à ceux des mathématiques, diffèrent dans leurs significations.
Ainsi
Propriété fondamentale
Toute expression booléenne peut s'écrire uniquement avec les 2 fonctions NON et ET.
En pratique, on en utilise trois avec la fonction OU, et même une quatrième avec la fonction XOR...
Propriété du OU
Démonstration
Montrons avec une table de vérité que $a + 1 = 1 $ :
a | 1 | a+1 |
0 | 1 | 1 |
1 | 1 | 1 |
Conclusion : $a + 1 = 1 $
Propriété du ET
Démonstration
Montrons avec une table de vérité que $a . a = a$ :
a | a | a.a |
0 | 0 | 0 |
1 | 1 | 1 |
Conclusion : $a . a = a$
Propriété du NON
Démonstration
Montrons avec une table de vérité que $\bar {\bar a}$ = a :
$a$ | $\bar a$ | $\bar {\bar a}$ |
0 | 1 | 0 |
1 | 0 | 1 |
Conclusion : $\bar {\bar a}$ = a
Propriété de la distributivité
Démonstration
Montrons avec une table de vérité que $a + ( b . c ) = ( a + b ) . ( a + c )$ :
( a + b ) . ( a + c ) = a . a + a . c + b . a + b . c = a + a . c + b . a + b . c = a . (1 + b + c) + b . c = a . 1 + b . c = a + ( b . c )
Conclusion : $a + ( b . c ) = ( a + b ) . ( a + c )$
Théorème de De Morgan
En pratique, nous partons d'une table de vérité et nous devons arriver au circuit de portes logiques.
La méthode consistera à extraire de la table de vérité une expression booléenne, que nous essayerons de simplifier
Voici une table de vérité, créer un circuit de portes logiques associé.
$a$ | $b$ | $S$ |
0 | 1 | 0 |
0 | 0 | 1 |
1 | 1 | 1 |
1 | 0 | 1 |
$a$ | $b$ | $S$ |
0 | 1 | 0 |
0 | 0 | 1 |
1 | 1 | 1 |
1 | 0 | 1 |
Remarque : Dans cet exemple il y a trois "1" pour un "0", donc il est plus simple d'utiliser le complémentaire (le NON).
$a$ | $b$ | $\bar S$ |
0 | 1 | 1 |
0 | 0 | 0 |
1 | 1 | 0 |
1 | 0 | 0 |