Université A.

Mira - Bejaia
Faculté de Technologie Département Génie Electrique

Logique Combinatoire et Séquentielle

Rappel sur les propriétés relatives aux fonctions logiques de base

Commutativité A+B =B+A A·B =B·A

Associativité A + (B + C) = (A + B) + C A × (B · C) = (A · B) · C
Distributivité A + (B · C) = (A + B) · (A + C) A · (B + C) = (A · B) + (A · C)
Complémentation A+A=1 A·A=0
Elément neutre A+0=A A·1=A
Elément absorbant A+1=1 A·0=0
Idempotence A+A=A A·A=A
A + ··· + A = A A · ··· · A = A

X Involution
A=A

X Théorèmes de De Morgan
A+B =A·B
A + B + ··· + Q = A · B · ··· · Q
A·B =A+B
A · B · ··· · Q = A + B + ··· + Q

X Théorème de l’absorption
A+A·B =A
A · (A + B) = A

X Théorème de l’absorption du complément

A+A·B =A+B
A · (A + B) = A · B

———————————————— ♦ ————————————————

Porte ET (AND)
A S=A.B
B

Porte OU (OR)
A S=A+B
B

1
Université A. Mira - Bejaia
Faculté de Technologie Département Génie Electrique

Série TD N◦ 3 Logique Combinatoire et Séquentielle

Exercice 1
En utilisant les tables de vérité des fonctions logiques ET (AND) et OU (OR) vérifier :
– Les propriétés d’associativité du OU et du ET,
– Les propriétés de distributivité du ET/OU et du OU/ET.

———————————————— ♦ ————————————————

Exercice 2
En utilisant les propriétés relatives aux fonctions logiques de base, démontrer que :

♦ A · (A + B) = A · B
♦ A + (A · B) = A + B
♦ A·B+B·C +A·C =A·B+A·C

———————————————— ♦ ————————————————

Exercice 3
En utilisant les théorèmes de De Morgan :
1. Vérifier que les compléments des fonctions F1 et F2
? F1 = A · B + C
? F2 = (A + B · C) · (A · B + C)
sont :
? F 1 = (A + B) · C
? F2 = C + A · B
2. Exprimer le complément (l’inverse) de la fonction suivante :
F3 = A · C · D + A · D + A · B · C + A · B · C