Beruflich Dokumente
Kultur Dokumente
Vimos as diversas porta lgicas bsicas, Tabelas Verdade e expresses Booleanas que as representam; Qualquer circuito que combine diversas portas lgicas, pode ser expresso matematicamente via a lgebra booleana. Retomemos um exerccio exemplo:
(Tabela Verdade) A 0 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 1 0 1 0 1 1 1
A B C S
0 0 0 1 1
1 1
(Tabela Verdade)
Porta Lgica OR OU
A A S B 0 1 0 Equao Algbrica S=A+B 1 1 1 B 0 0 1 S 0 1 1
(Tabela Verdade)
S = AB + C
(Tabela Verdade) C 0 1 0 1 0 1 0 1 AB + C 0 1 0 1 0 1 1 1
A B
AB AB + B B C S
C S = (AB + B)C
(Tabela Verdade)
(Tabela Verdade)
S = (AB + B)C
A B C S
A 0 0 0 0 1 1 1 1
B 0 0 1 1 0 0 1 1
C 0 1 0 1 0 1 0 1
S 1 1 1 0 1 1 1 0
Algebra de Boole
Postulados Complementao Adio 0+0=0 A=0 A=1 0+1=1 1+0=1 A=1 A=0 1+1=1 1*1=1 Multiplicao 0*0=0 0*1=0 1*0=0
Algebra de Boole
Identidades Complementao Adio A+0=A A+1=1 A=A A+A=A A+A=1 Multiplicao A*0=0 A*1=A A*A=A A*A=0
Algebra de Boole
Propriedades Comutativa Associativa Distributiva A+B=B+A A*B=B*A A + (B + C)= (A + B) + C = A + B + C A * (B * C) = (A * B) * C = A * B * C A * (B + C ) = A * B + A * C
Algebra de Boole
1o e 2o Teoremas de Morgan (A * B) = A + B (A + B) = A * B Identidades Auxiliares A+A*B=A A+A*B=A+B (A + B) * (A + C) = A + B * C
Observemos o seguinte exemplo: S = ABC + AC + AB S = A(BC + C + B) [1o T. de Morgan) S = A(BC + BC) Atribuindo BC = Y, teremos: S = A(Y + Y) S=A
Vejamos este novo exemplo: S = (A + B + C) * (A + B + C) S = A*A + A*B + A*C + B*A + B*B + B*C + C*A + C*B + C*C S = A*B + A*C + A*B + B*C + A*C + B*C +C S = A*B + A*B + C(A + B + B + 1) S = A*B + A*B + C
Exerccios: Simplifique as seguintes expresses: S= A*B*C*D + A*B*C*D + A*B*C*D S = A*D + B*C + C*B + A*C S = A*(B+C) + B*(A+C) + C*(A+B) S = (A + B + C)*(B + C) S = (A + D)*(D + C) + (B + A)*(B + C)
Vejamos um exemplo mais prtico: Projete um circuito composto de portas que seja capaz de atender a seguinte tabela verdade:
(Tabela Verdade) A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 0 0 1 0 1 1 0
(Tabela Verdade)
(Tabela Verdade)
B 0 0 1 1
S 1 0 0 1
(Tabela Verdade)
B 0 0 1 1
S 1 0 0 1
S = AB + AB
(Tabela Verdade)