Exercices 1

a) Pour l'addition de deux chiffres binaires, les expressions correspondantes pour la fonction somme
(F) et la fonction retenu (G) sont les suivantes :

- La fonction somme (F) est le résultat d'un XOR logique entre les deux chiffres binaires :

F = a XOR b

- La fonction retenu (G) est le résultat d'un AND logique entre les deux chiffres binaires :

G = a AND b

b) En considérant maintenant la somme des trois bits a, b et c, les expressions correspondantes pour
la fonction somme (F) et la fonction retenu (G) sont les suivantes :

- La fonction somme (F) est le résultat d'un XOR logique entre les trois bits :

F = (a XOR b) XOR c

- La fonction retenu (G) est le résultat d'une combinaison logique d'opérations AND et OR :

G = (a AND b) OR (c AND (a XOR b))

Dans ces expressions, a, b et c représentent les bits d'entrée. Ainsi, F représente la somme des bits et
G représente la retenue générée lors de l'addition.

Exercice 2

1) La table de vérité de la fonction f(x, y) = 1 si x=y et 0 sinon peut être représentée comme suit :

```
| x | y | f(x, y) |
|---|---|---------|
|0|0| 1 |
|0|1| 0 |
|1|0| 0 |
|1|1| 1 |
```

2) L'expression booléenne de f(x, y) peut être déterminée en observant les lignes de la table de vérité
où la valeur de sortie est 1. Dans ce cas, cela se produit lorsque x=y. Par conséquent, l'expression
booléenne de f(x, y) est :
f(x, y) = x AND y

3) Reprenant les questions précédentes en remplaçant le signe égal par une inégalité de notre choix,
supposons que nous utilisons l'inégalité ">" (plus grand que). La table de vérité et l'expression
booléenne correspondante seraient les suivantes :

a) La table de vérité de f(x, y) = 1 si x>y et 0 sinon :

```
| x | y | f(x, y) |
|---|---|---------|
|0|0| 0 |
|0|1| 0 |
|1|0| 1 |
|1|1| 0 |
```

b) L'expression booléenne correspondante pour f(x, y) est :

f(x, y) = x AND NOT y

En utilisant l'inégalité ">" (plus grand que), la condition pour que f(x, y) soit évalué à 1 est que x soit
plus grand que y.

EXERCICE 3

La fonction logique NAND correspond à l'expression : NOT(A AND B), où A et B sont des variables
d'entrée.

La fonction logique NOR correspond à l'expression : NOT(A OR B), où A et B sont des variables
d'entrée.

La fonction logique XOR correspond à l'expression : A XOR B, où A et B sont des variables d'entrée.