Notas de aula: Álgebra Booleana e simplificação algébrica
UTFPR
Disciplina: EL66J
Prof. Gustavo B. Borba
Notas de aula
Álgebra Booleana e simplificação algébrica
George Boole, 1854: “An investigation of the laws of thought, on which are founded the
mathematical theories of logic and probability.”
Claude Shannon, 1938, aplicação da algebra Booleana na eletrônica: “Symbolic analysis of relay
and switching circuits.”
- Axiomas (há autores que chamam de postulados)
a1) A = 0 se A
a1’) A = 1 se A
1
a2) se A = 0, então A = 1
0
a2’) se A = 1, então A = 0
a3) 0 0 = 0
a3’) 1+1 = 1
a4) 1 1 = 1
a4’) 0+0 = 0
a5) 0 1 = 1 0 = 0
a5’) 1+0 = 0+1 = 1
- Teoremas (há autores que chamam de leis, propriedades, identidades, regras)
Involução
t1) A = A
t2) A 0 = 0
t2’) A+1 = 1
Elementos nulos
t3) A 1 = A
t3’) A+0 = A
Identidades
t4) A A = A
t4’) A+A = A
Idempotência
t5) A A = 0
t5’) A+A = 1
Complementos
t6) A B = B A
t6’) A+B = B+A
Comutativa
t7) (A B) C = A (B C)
t7’) (A+B)+C = A+(B+C)
Associativa
t8) A (B+C) = A B + B C
t8’) A+(B C) = (A+B) (A+C)
Distributiva
t9) A (A+B) = A
t9’) A + A B = A
Absorção
t10) A (A+B) = A B
t10’) A + A B = A+B
Absorção
t11) (A+B) (A+B) = A
t11’) A B + A B = A
Adjacência lógica
t12) A B + A C + B C = A B + A C
t12’) (A+B) (A+C) (B+C) = (A+B) (A+C)
Consenso
t13) A B ... Z = A+B+...+Z
t13’) A+B+...+Z = A B ... Z
DeMorgan
EL66J
1/3
Notas de aula: Álgebra Booleana e simplificação algébrica
- Algumas provas
t9) A (A+B) = A
(A+0) (A+B)
A+(0 B)
A+0
A
t10) A (A+B) = A B
t9’) A + A B = A
A1+AB
A (1+B)
A1
A
t10’) A + A B = A+B
AA + A B
0+AB
AB
t11) (A+B) (A+B) = A
Absorção
Absorção
(A+A) (A+B)
1 (A+B)
A+B
t11’) A B + A B = A
A + (B B)
A+0
A
Adjacência lógica
A (B+B)
A1
A
t12) A B + A C + B C = A B + A C
t12’) (A+B) (A+C) (B+C) = (A+B) (A+C)
A B + A C + B C (A+A)
AB+AC+BCA+BCA
AB+ABC+AC+ACB
A B (1+C) + A C (1+B)
AB1+AC1
AB+AC
(A+B) (A+C) ((B+C)+A A)
(A+B) (A+C) (B+C+A) (B+C+A)
(A+B) (A+B+C) (A+C) (A+C+B)
((A+B)+(0 C)) ((A+C)+(0 B))
(A+B+0) (A+C+0)
(A+B) (A+C)
Consenso
- Símbolos equivalentes para as portas NE e NOU
Conforme os teoremas de DeMorgan:
Assim, às vezes são utilizados os símbolos a seguir para representar as portas NE e NOU:
EL66J
2/3
Notas de aula: Álgebra Booleana e simplificação algébrica
- Exemplos
1. DeMorgan
b) Y = A B C + D E F
a) Y = A+B+C+D E
c) Y = (A B+C) (D+E F)
d) Y = A+B C+D (E+F)
A B C + D+E
ABC DEF
(A B+C)+(D+E F)
(A (B+C))+(D (E F))
A B C + D+E
(A+B+C) (D+E+F)
(A+B) C + D (E+F)
(A+(B C)) (D+(E+F))
(A+B C) (D+E+F)
Resolver 'de fora para
dentro' seria mais fácil.
2. Prove que os
circuitos são
equivalentes
A
A
Y1
Y2
B
B
Y2 = A B+A+B
Y1 = A B (A+B)
A B+A+B
=
A B+A+B
3. Simplifique o
circuito
A
Y = A B B+C
(A+B) B C
Y
B
A B C+B B C
B
C
Y
B C (A+1)
C
BC
4. Simplifique as expressões
a) Y = AB + A(B+C) + B(B+C)
b) Y = (AB(C + BD) + AB)C
c) Y = (A+B)(A+C)
d) Y = AB + ABC + A
AB + AB + AC + BB + BC
(ABC + ABBD + AB)C
AA + AC + AB + BC
(AB + AB)(AB + C) + A
AB + AC + B + BC
(ABC + 0 + AB)C
A + AC + AB + BC
1(AB + C) + A
B(1+A+C) + AC
ABCC + ABC
A(1+C+B) + BC
AB + C + A
B1 + AC
ABC + ABC
A1 + BC
A(1+B) + C
B + AC
BC(A + A)
A + BC
A1 + C
A+C
BC1
BC
e) Y = ABC + A+B+C + ABCD
f) Y = ABC(AB+C(BC+AC))
g) Y = AB + A+C
h) Y = AB + CD + ACD
ABC + ABC + ABCD
ABC(AB+BCC+ACC)
A + B + AC
ABCD + AC + D
ABC + ABC + ABCD
ABC(AB+0+0)
A(1+C) + B
AB(C+D) + A + C + D
ABC + ABCD
ABC(AB)
A1 + B
ABC + ABD + A + C + D
AB(C + CD)
AABBC
A+B
C(AB+1) + A + ABD + D
AB((C+C)(C+D))
ABC
C1 + (A+A)(A+BD) + D
AB(1(C+D))
C + 1(A+BD) + D
AB(C+D)
C + A + D + DB
C + A + (D+D)(D+B)
C + A + 1(D+B)
C+A+D+B
EL66J
3/3
Download

Álgebra Booleana e simplificação algébrica