Escolar Documentos
Profissional Documentos
Cultura Documentos
Algebra PDF
Algebra PDF
Nos tpicos a seguir, observe que os axiomas (afirmaes que no exigem provas para
serem consideradas verdadeiras [1]) da lgebra Booleana estabelecem aquilo que utilizamos
como ponto de partida: as operaes no, e, ou e que os estados das variveis so
mutuamente exclusivos. Os teoremas podem ser considerados como o conjunto de regras
para a manipulao das variveis.
Duas equaes lgicas so equivalentes quando apresentam a mesma tabela verdade. Mais
simples pode ser entendido como menor. Por isso, este processo tambm chamado de
minimizao de uma equao lgica. A simplificao importante porque pode permitir (no
necessariamente) a implementao de um circuito digital mais compacto, portanto mais
vantajoso que suas verses no minimizadas.
a1) A = 0 se A 1 a1) A = 1 se A 0
EL66J 1/4
Notas de aula #5: lgebra Booleana e simplificao algbrica
t1) A = A Involuo
- Algumas provas
EL66J 2/4
Notas de aula #5: lgebra Booleana e simplificao algbrica
- Exemplos
1. DeMorgan
2. Prove que os circuitos so equivalentes utilizando manipulao algbrica. Obs: outra forma
de provar a equvalncia lgica seria atravs das tabelas verdade. As tabelas verdade de Y1 e
Y2 devem ser iguais.
A A
Y1 Y2
B B
Y1 = A B (A+B) Y2 = A B+A+B
A B+A+B
=
A B+A+B
EL66J 3/4
Notas de aula #5: lgebra Booleana e simplificao algbrica
A Y = A B B+C
(A+B) B C B
B Y A B C+B B C Y
C
B C (A+1)
C BC
Simplif. Original
A B AB B+C ABB+C
0 0 0 1 1 1
0 0 1 1 0 0
0 1 0 1 0 0
0 1 1 1 0 0
1 0 0 1 1 1
1 0 1 1 0 0
1 1 0 0 0 0
1 1 1 0 0 0
Referncias
EL66J 4/4