ESTV-ESI-Sistemas Digitais-Folha de Exercícios Nº2- 1/2

Folha de exercícios Nº 2

Álgebra de Boole
Axiomas
As variáveis apenas podem tomar um dos valores {0,1}
Se X=0 então X≠1
Se X=1 então X≠0
0=1 1= 0
0⋅0=0 1⋅1=1
0⋅1=1⋅0=0 0+1=1+0=1
1+1=1 0+0=0

Teoremas
Dual
T1 A⋅0=0 A+1=1 Elemento absorvente
T2 A⋅1=A A+0=A Elemento neutro
T3 A⋅A=A A+A=A Idempotência
T4 A⋅A= 0 A + A =1
T5 A=A
T6 A⋅B=B⋅A A+B=B+A Comutatividade
T7 A⋅B⋅C = A⋅(B⋅C) = (A⋅B)⋅C A+B+C = A+(B+C) = (A+B)+C Associatividade
T8 A⋅B + A⋅C = A ⋅ (B+C) (A+B) ⋅ (A+C) = A + B.C Distributiva
T9 A+A⋅B = A A⋅(A+B)=A Absorção
T10 A+ A⋅B= A +B A ⋅ (A + B) = A ⋅ B Termo/factor “menor”

T11 A ⋅ B + A ⋅ B = A (A + B) ⋅ (A + B ) = A Adjacência

T12 A ⋅B + A ⋅C + B⋅C = (A + B) ⋅ (A + C) ⋅ (B + C) = Termo/factor

“incluído”
A ⋅ B + A ⋅ C (A + B) ⋅ (A + C)
T13 A⋅B = A + B A + B = A⋅B Lei de DeMorgan
 ESTV-ESI-Sistemas Digitais-Folha de Exercícios Nº2- 2/2
1) Demonstre os teoremas T9,T10,T11,T12 e respectivos duais.

2) Demonstre a identidade de cada uma das seguintes equações lógicas:

a) A.B + A.B + A. B = A + B
b) Y Z + Y Z + Y Z + Y Z = 1
c) A + A B + A C + A B C = A + B + C
d) Y Z + X Z + X Y = Y Z + X Y
e) A B + A C D + A B D + A B C D = A C D + B

3) Simplifique as seguintes funções lógicas:

a) X Y + Y X Z
b) X ( X + Y )
c) W + W X + Y Z
d) X ( X + Y) + Z + Z Y
e) W ( X + Y ( Z + W ))
f) W X + X Y + Y Z + X Z
g) ( W + X + Y ) ( W + X + Y ) ( Y + Z ) ( W + Z )
h) W X Y + W X Y + Y Z + X ( Z + Z W )
i) ( V + W ) ( X Z + X Z ) ( V Z + V Z ) ( Y + Z ) ( W + V Y)
j) X Y + X Z W + X Y W + X Y Z W

4) Simplifique as seguintes funções lógicas:

a) A B C + AB C + A B
b) ( A + B) ( A + B)
c) A B C + A C
d) B C + B ( A D + A D)
e) ( A + B + A B) ( A B + A C + B C)
5) Utilizando o teorema de DeMorgan, reescreva a função
F = A B+ A B+ BC

a) utilizando apenas operadores de adição e negação;

b) utilizando apenas operadores de multiplicação e negação

6) Determine o complemento das seguintes expressões lógicas

a) A B + A B
b) ( V W + X ) Y + Z
c) W X ( Y Z + Y Z ) + W X ( Y + Z ) ( Y + Z )
d) ( A + B + C ) ( A B + C) ( A + B C )