Notas de aula: lgebra Booleana e simplificao algbrica

UTFPR Disciplina: EL66J Prof. Gustavo B. Borba

lgebra Booleana e simplificao algbrica

Notas de aula

George Boole, 1854: An investigation of the laws of thought, on which are founded the mathematical theories of logic and probability. Claude Shannon, 1938, aplicao da algebra Booleana na eletrnica: Symbolic analysis of relay and switching circuits. - Axiomas (h autores que chamam de postulados)

a1) A = 0 se A

a1) A = 1 se A

a2) se A = 0, ento A = 1 a3) 0 0 = 0 a4) 1 1 = 1 a5) 0 1 = 1 0 = 0

a2) se A = 1, ento A = 0

a3) 1+1 = 1 a4) 0+0 = 0 a5) 1+0 = 0+1 = 1

- Teoremas (h autores que chamam de leis, propriedades, identidades, regras)

t1) A = A t2) A 0 = 0 t3) A 1 = A t4) A A = A t5) A A = 0 t6) A B = B A t7) (A B) C = A (B C) t8) A (B+C) = A B + B C t9) A (A+B) = A t10) A (A+B) = A B t11) (A+B) (A+B) = A t12) A B + A C + B C = A B + A C t13) A B ... Z = A+B+...+Z t2) A+1 = 1 t3) A+0 = A t4) A+A = A t5) A+A = 1

Involuo Elementos nulos Identidades Idempotncia Complementos Comutativa Associativa Distributiva Absoro Absoro Adjacncia lgica Consenso DeMorgan

t6) A+B = B+A t7) (A+B)+C = A+(B+C) t8) A+(B C) = (A+B) (A+C) t9) A + A B = A t10) A + A B = A+B t11) A B + A B = A

t12) (A+B) (A+C) (B+C) = (A+B) (A+C) t13) A+B+...+Z = A B ... Z

EL66J

1/3

Notas de aula: lgebra Booleana e simplificao algbrica

- Algumas provas

t9) A (A+B) = A
(A+0) (A+B) A+(0 B) A+0 A

t9) A + A B = A
A1+AB A (1+B) A1 A

Absoro

t10) A (A+B) = A B
AA + A B 0+AB AB

t10) A + A B = A+B
(A+A) (A+B) 1 (A+B) A+B

Absoro

t11) (A+B) (A+B) = A

A + (B B) A+0 A

t11) A B + A B = A
A (B+B) A1 A

Adjacncia lgica

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

t12) (A+B) (A+C) (B+C) = (A+B) (A+C)

(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

- Smbolos equivalentes para as portas NE e NOU Conforme os teoremas de DeMorgan:

Assim, s vezes so utilizados os smbolos a seguir para representar as portas NE e NOU:

EL66J

2/3

Notas de aula: lgebra Booleana e simplificao algbrica

- Exemplos 1. DeMorgan

a) Y = A+B+C+D E
A B C + D+E A B C + D+E

b) Y = A B C + D E F
ABC DEF (A+B+C) (D+E+F)

c) Y = (A B+C) (D+E F)
(A B+C)+(D+E F) (A+B) C + D (E+F)

d) Y = 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 fcil.

2. Prove que os circuitos so equivalentes

A Y1 B

A Y2 B

Y1 = A B (A+B)
A B+A+B A B+A+B =

Y2 = A B+A+B

3. Simplifique o circuito

A B C Y

Y = A B B+C
(A+B) B C A B C+B B C B C (A+1) BC

B C

4. Simplifique as expresses
a) Y = AB + A(B+C) + B(B+C)
AB + AB + AC + BB + BC AB + AC + B + BC B(1+A+C) + AC B1 + AC B + AC

b) Y = (AB(C + BD) + AB)C

(ABC + ABBD + AB)C (ABC + 0 + AB)C ABCC + ABC ABC + ABC BC(A + A) BC1 BC

c) Y = (A+B)(A+C)
AA + AC + AB + BC A + AC + AB + BC A(1+C+B) + BC A1 + BC A + BC

d) Y = AB + ABC + A
(AB + AB)(AB + C) + A 1(AB + C) + A AB + C + A A(1+B) + C A1 + C A+C

e) Y = ABC + A+B+C + ABCD

ABC + ABC + ABCD ABC + ABC + ABCD ABC + ABCD AB(C + CD) AB((C+C)(C+D)) AB(1(C+D)) AB(C+D)

f) Y = ABC(AB+C(BC+AC))
ABC(AB+BCC+ACC) ABC(AB+0+0) ABC(AB) AABBC ABC

g) Y = AB + A+C
A + B + AC A(1+C) + B A1 + B A+B

h) Y = AB + CD + ACD
ABCD + AC + D AB(C+D) + A + C + D ABC + ABD + A + C + D C(AB+1) + A + ABD + D C1 + (A+A)(A+BD) + D C + 1(A+BD) + D C + A + D + DB C + A + (D+D)(D+B) C + A + 1(D+B) C+A+D+B

EL66J

3/3