S'entraîner...
Multiplexeur
Voici la table de vérité d'une fonction nommée multiplexeur :
a | b | c | mux(a, b, c) |
|---|---|---|---|
0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 |
0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 0 |
1 | 0 | 1 | 1 |
1 | 1 | 0 | 0 |
1 | 1 | 1 | 1 |
Laquelle des expressions lui correspond ?
Votre choixChoix attenduRéponse
Pour trouver la bonne expression, on pourra calculer des états intermédiaires sous forme de colonnes dans la table de vérité.
Fonction et table de vérité
Pour dresser une table de vérité, on utilise la valeur 1 pour True et 0 pour False. Laquelle des fonctions suivantes ne correspond pas à une fonction ou :
NB : ____ correspond à une indentation.
Votre choixChoix attenduRéponse
Exercice
On considère la fonction suivante :
def table():
for a in (False, True):
for b in (False, True):
print((a or b) and a)
def table():
for a in (False, True):
for b in (False, True):
print((a or b) and a)On effectue l'appel suivant dans la console :
table()table()
La console affiche :
Votre choixChoix attenduRéponse
Pour bien comprendre la réponse, on peut dresser la table de vérité de l'expression (a + b) . a :
a | b | \(a+b\) | \((a + b).a\) |
|---|---|---|---|
0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 |
1 | 0 | 1 | 1 |
1 | 1 | 1 | 1 |
❤️ Lois de De Morgan
Vérifier, à l'aide d'une table de vérité, les lois de De Morgan :
\(\overline {a+b} = \overline a . \overline b\)
\(\overline {a.b} = \overline a + \overline b\)
Barre de Sheffer
Pour deux booléens x et y, on définit l'opération « x ↑ y » par : x ↑ y = \(\overline {x.y}\) (opération appelée barre de Sheffer).
Une autre expression de (x ↑ y) ↑ (x ↑ y) est :
Votre choixChoix attenduRéponse
La table de vérité est en effet la suivante :
a | b | a . b | a ↑ b = \(\overline {a.b}\) | (a ↑ b) . (a ↑ b) | (a ↑ b) ↑ (a ↑ b) = \(\overline {((a ↑ b) . (a ↑ b))}\) |
|---|---|---|---|---|---|
0 | 0 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 1 | 1 | 0 |
1 | 0 | 0 | 1 | 1 | 0 |
1 | 1 | 1 | 0 | 0 | 1 |
Identité remarquable
L'expression \((a+b).a\) est égale à :
Votre choixChoix attenduRéponse
Pour bien comprendre la réponse, dresser la table de vérité de l'expression \((a+b).a\) :
a | b | \(a+b\) | \((a+b).a\) |
|---|---|---|---|
0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 |
1 | 0 | 1 | 1 |
1 | 1 | 1 | 1 |
Implication
Pour deux booléens x et y, on définit l'opération « x → y » par : \(x → y = \overline x + y \)(opération appelée implication).
Une autre expression de \(((x → y) . x) → y\) est :
Votre choixChoix attenduRéponse
La table de vérité de \(((x → y) . x) → y\) est en effet la suivante :
x | y | \(\overline x\) | \(x→y = \overline x + y\) | \((x→y).x\) | \(\overline {(x→y)x}\) | \(((x → y).x) → y = \overline {(x→y)x}+y\) |
|---|---|---|---|---|---|---|
0 | 0 | 1 | 1 | 0 | 1 | 1 |
0 | 1 | 1 | 1 | 0 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 1 | 1 |
1 | 1 | 0 | 1 | 1 | 0 | 1 |
et la table de \(x+\overline x\) est :
x | y | \(\overline x\) | \(x+\overline x\) |
|---|---|---|---|
0 | 1 | 1 | |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 1 |
1 | 1 | 0 | 1 |