ALGEBRA BOOLE.

FUNC II LOGICE

5/48. Demonstra i identitatea:

a b ab ac ab ab bc
Rezolvare:
Analitic (dezvoltarea celor 2 expresii logice disjunctive la forma canonic )

a b ab ac
abc

abc

ab(c c) ab(c c) a(b b)c

abc

abc

abc

5 4 3 2 7

iar:

a b ab bc
abc

abc

ab(c c) ab(c

c) ( a

abc

5 4 3 2 7

abc

abc

a )bc

Diagrama Karnough (dezvoltare direct pe diagrame; se completeaz

cmpurile cu unit i ntruct expresiile date sunt forme normale disjunctive)
c
b

c
b
0

ab

ac

ab

ab

Algebra Boole. Func ii logice - 1

bc

ab

ALGEBRA BOOLE. FUNC II LOGICE

4/48. Un ascensor pentru ridicarea materialelor transport sarcini ntre 100 i 800
Kg. Sesizarea masei nc rc turii ascensorului se face prin nchiderea a 3 contacte
(a, b, c) fixate sub podeaua cabinei. Prin resoarte, se asigur ca ordinea de
nchidere a contactelor, la cre terea masei nc rc turii, s fie: a, b, c. Se cere s
se determine func ia logic care comand urcarea ascensorului tiind c acesta
poate urca dac este gol (a, b, c - deschise), sau cu sarcini ntre 100 i 800 Kg (a,
b - nchise, c - deschis). Dac sarcina este sub 100 Kg (a - nchis, b, c - deschise),
sau peste 800 Kg (a, b, c - nchise) ascensorul nu trebuie s urce.
Rezolvare:
Tabelul de adev r
(conform descrierii):
a
0
0
0
0
1
1
1
1

a b c

b
0
0
1
1
0
0
1
1

c
0
1
0
1
0
1
0
1

Conven ie pentru
contacte:
c.n.d. - "1"
c.n.. - "0"

f
1
X
X
X
0
X
1
0

Consider m func ia f
activ pe "1".
Diagrama Karnough:
c
b
1

a
FCD: f

a bc

FCC: f

(a b c)(a b c)

abc

Implementarea formelor minime:

NAND: f

FMD (simplificare dup "1"):

NOR: f

a bc

x x

c(a b)

x 1

Schema logic (cu por i NAND):

>

b
c

x 0

LSUS BU
K

Vcc

Algebra Boole. Func ii logice - 2

b)
x
x

x
U K

c)

sau

Vcc
a

(a

Inversarea logic :

FMC (simplificare dup "0"):

(b

Vcc
x
x

x
x
x
x

ALGEBRA BOOLE. FUNC II LOGICE

1/68. S se demonstreze c urm toarele sisteme de FB elementare

n
sunt complete n clasa B 2 .
a) ( Maj,0, )
b) ( , )
Rezolvare:
a) Func ia Majoritar elementar (de 3 variabile) transpus pe diagrama
Karnough:
c
Expresia analitic :
b
Maj (a, b, c ) a # b # c ab bc ac
0 0 1 0
0

a
demonstr m c sistemul de func ii dat poate reprezenta un alt sistem
complet de FB elementare. Fie acesta sistemul complet: ( , ).
Cum negarea logic este o opera ie comun , r mne de ar tat c
a b (produsul logic) poate fi reprezentat prin func iile sistemului dat:

a b

a b

a 0 b 0

Maj (a , b,0).

b) Conform defini iei func iei elementare implica ie: a

ar

a b

m c sistemul complet ( , ) poate fi reprezentat prin ( , ) :

a b

(a) b

Algebra Boole. Func ii logice - 3

ALGEBRA BOOLE. FUNC II LOGICE

4d/68. S se implementeze analitic numai cu por i NAND cu 2 intr ri i

se reprezinte prin schem logic FB:
f (a, b, c) abc bc a
Rezolvare:
Forma disjunctiv dat se trece direct la operator NAND, p strnd termenii:

f (a, b, c)

(a

c)

(b

c)

Obs.: Procedura este aplicabil oric rei expresii logice reprezentat analitic
printr-o sum de produse logice. Termenul "a" nefiind efectiv un produs, la
implementare cu NAND variabila se complementeaz (se poate scrie:
a a 1 , ceea ce conduce la: a 1 a 1 a .
Aplicnd rezultatul teoretic privind expandarea num rului de intr ri a
modulelor logice NAND, se ob ine:

f (a , b, c)

(a

c)

(b

c)

Sunt necesare deci 5 por i NAND cu 2 intr ri i nc 5 x NAND - 2i pentru

invers rile logice.
a
b

f(a,b,c)

Algebra Boole. Func ii logice - 4

ALGEBRA BOOLE. FUNC II LOGICE

4e/68. S se implementeze analitic numai cu por i NAND cu 2 intr ri i

se reprezinte prin schem logic FB:

f (a, b, c)

Rezolvare:
Func ia dat este par ial implementat cu NAND. Urm rind grup rile, se
constat c este o form disjunctiv implementat cu operator NAND.
Deci:

f (a, b, c)
abc

(a

abc

b)c (a
abc

c)b

(ab

ab)c (ac

a c )b

abc

Se caut forma minim a acestei forme disjunctive, folosind diagrama

Karnough:
c
b
0

Rezult :

f min

ac

ab

(a

c)

(a

b)

Sunt necesare 4 x NAND - 2i

a
Dac s-ar fi implementat cu module NAND cu 2 intr ri forma ini ial ,
nesimplificat , s-ar fi ob inut:

(a

c)

(a

c)

(a

c)

(a

i ar fi fost necesare 18 x NAND - 2i.

Algebra Boole. Func ii logice - 5

c)

ALGEBRA BOOLE. FUNC II LOGICE

4h/68. S se implementeze analitic numai cu por i NAND cu 2 intr ri i

se reprezinte prin schem logic FB:

f (a , b, c)

Rezolvare:
Func iile Echivalen

(a

ab c

b)

i SAU-Exclusiv sunt asociative, deci:

(a

abc

abc

b) c
abc

b c

(ab

ab)c (ab ab)c

6 0 3 5

Diagrama Karnough (c utnd eventuale simplific ri):

c
b
1

Deoarece nu sunt posibile simplific ri, se

implementeaz forma canonic ob inut .
(ca n problema anterioar )

Algebra Boole. Func ii logice - 6

ALGEBRA BOOLE. FUNC II LOGICE

2/68. S se realizeze schema logic care s furnizeze cele 10 FB

elementare nedegenerate de 2 argumente utiliznd un num r minim
de circuite integrate CDB400E (4 por i NAND cu cte 2 intr ri ).
Rezolvare:
Cele 10 FB elementare nedegenerate se definesc pe baza operatorului
NAND astfel:

a b

a b

a b

a b

a b

a b

ab

a
b

(a

ab

b)

(a

a b

a b

a b

a b

a b

a b

ab

ab

b)

Pe baza acestor propriet i, schema logic este urm toarea:

a

a b

a b
a b
a b
b a

a
a
a
b

Algebra Boole. Func ii logice - 7

b
b
b
a