univdocs.

com
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
univdocs.com
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

2
re'
univdocs.com
"
&7,n"ut ttdN(?^1
l-aaCrms \ , nTW,
/r5 (aâtt <jz\
/
J e? ûU 1rc,vt j)\t =
V^)
/.> ,TrdtrTrr(tz/s d hgwrtoh''l-i d"
Ûu z? Il'tt 'Er Qrnfr" Çut tk- Hi
.4
dt,k,t'r-hrr fé ,J'* lQq zt d?+ &l/e
tt|' /t
-!2s - ,. (
fr#tuuh,,i, , rt,(n,tl --L,+,9),c/ 4#+c) -- k+ra;,-
k B CIB,C l,t "(g t)
'A.A),cl,B+C +i8
o
(r+4 Vral
d 0 0 o o
a
o o
d 2 o
o /4 fl4
o o .t/ a ()
t
o
/4
/4
t
ç t
e c2
e
a
û
/1
'/4
4
4
,1
I
/4 û ô "4
o a o (/
g fl 4 4 4
/'l o ,4 o o g 4 4 4
/l
o 4 /lc
/ 4 4
4
A
/
A li 4 4 /
'4 4 4I 4

7,p,") -&" F),'c 4{srt) - (++B) tc

4,c' O,U A+b '4+l Ft +f 6).

d o o o o o o o o a o
g t /i 0 a
o o 4
g 4 a
4 4
e
o
o
o
o 4
o
o
4
4
0
/1
/
4
4
z)
o
a
o 4
?)
I
 0 0
I /t
A 4
d
d
0
4
Io e
g
4
^
4
4
4
A
A
t4
4
C/
/1
Atl
d
4
4
,4
4
4
4
/
/
I 4 /4 4 4 4 4 4 4 "4 4 4 4
of, L6*r +f(B-q',
*hrtA-{ (++8)-{+
univdocs.com
univdocs.com
V {D
-
**c,t-
\z-AcY*V
3
?l*'à"*r .."/'
!; ^ i clz'r
t ^

@'iio;4^" qq /"; uw/&'nrek

.l-n//r,l Ww^Y*:
gf:i:;:,) rAK*')
,f t"

2rcrl C:
f\_ T rE)'o
t-'-

a-. --
a tl
I
-.-.,-
l-: d+A"R
dr+ &'
t,v
'Nyl*eC (rçrccp,rt/&i"//t h
@ ÇxdtT": Ét,
I

lr
wu4l,qt6
Ctr(

r' fa= tNrr$

tnrc'lnû
-J-

A-
4

'_c,\ tAD qî,.5-c 1A"6'e

@

s
+,
univdocs.com

k@

î;Ej!