Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
tiagotr@ufba.br
ttrindade.ee@gmail.com
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 1 / 30
Introdução
Introdução
Em 1854, o inglês George Boole apresentou um sistema matemático
de análise lógica: Álgebra de Boole;
A eletrônica digital emprega em seus sistemas um pequeno grupo de
circuitos básicos padronizados: Portas lógicas
Tais portas são representações gráficas das funcionalidades lógicas de
circuitos transistorizados, por exemplo:
Funções lógicas
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 3 / 30
Funções lógicas
Tabela verdade
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 4 / 30
Funções lógicas
Tabela verdade:
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 5 / 30
Funções lógicas
Representação esquemática:
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 6 / 30
Funções lógicas
Função OR (ou)
Tabela verdade:
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 7 / 30
Funções lógicas
Função OR (ou)
Representação esquemática:
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 8 / 30
Funções lógicas
Função OR (ou)
Exemplos:
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 9 / 30
Funções lógicas
Tabela verdade:
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 10 / 30
Funções lógicas
Representação esquemática:
Exemplo:
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 11 / 30
Funções lógicas
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 12 / 30
Funções lógicas
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 13 / 30
Expressões Booleanas de Circuitos Lógicos
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 14 / 30
Expressões Booleanas de Circuitos Lógicos
Exemplos:
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 15 / 30
Expressões Booleanas de Circuitos Lógicos
Exemplos:
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 16 / 30
Expressões Booleanas de Circuitos Lógicos
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 17 / 30
Expressões Booleanas de Circuitos Lógicos
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 18 / 30
Expressões Booleanas de Circuitos Lógicos
Exercı́cios:
a) S = A · B · C + (A + B) · C
b) S = [(A + B) + (C + D)] · D
c) S = [(A · B) + (C · D)] · E + A · (A · D · E + C · D · E )
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 19 / 30
Expressões Booleanas de Circuitos Lógicos
Simplificações
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 20 / 30
Expressões Booleanas de Circuitos Lógicos
Postulados de Huntington:
A · B = B · A → comutativa
A + B = B + A → comutativa
A · (B + C ) = (A · B) + (A · C ) → distributiva
A + (B · C ) = (A + B) · (A + C ) → distributiva
Identidades booleanas:
A · 0 = 0 e A + 1 = 1 → absorção/dualidade
A · 1 = A e A + 0 = A → neutralidade/dualidade
A · A = A e A + A = A → idempotência
A · A = 0 e A + A = 1 → inversabilidade
A = A → involução
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 21 / 30
Expressões Booleanas de Circuitos Lógicos
Teoremas básicos
Absorção
A · (A + B) = A
A+A·B =A
A · (A + B) = A.B
A+A·B =A+B
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 22 / 30
Expressões Booleanas de Circuitos Lógicos
Teoremas básicos
Absorção:
A · (A + B) = A
R: A · (A + B) = A · A + A · B = A + A · B = A · (1 + B) = A
A+A·B =A
R: A + (A · B) = (A + A) · (A + B) = A · (A + B) = A
A · (A + B) = A.B
R: A · (A + B) = A · A + A · B = A · B
A+A·B =A+B
R: A + A · B = (A + A) · (A + B) = 1 · (A + B) = A + B
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 23 / 30
Expressões Booleanas de Circuitos Lógicos
Teoremas básicos
Adjacência Lógica:
(A + B) · (A + B) = A
A·B +A·B =A
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 24 / 30
Expressões Booleanas de Circuitos Lógicos
Teoremas básicos
Adjacência Lógica:
(A + B) · (A + B) = A
R: (A + B) · (A + B) = A + (B · B) = A + 0 = A
A·B +A·B =A
R: A · B + A · B = A · (B + B) = A · 1 = A
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 25 / 30
Expressões Booleanas de Circuitos Lógicos
Teoremas básicos
Consenso:
A·B +A·C +B ·C =A·B +A·C
(A + B) · (A + C ) · (B + C ) = (A + B) · (A + C )
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 26 / 30
Expressões Booleanas de Circuitos Lógicos
Teoremas básicos
Consenso:
A·B +A·C +B ·C =A·B +A·C
R: A · B + A · C + B · C = A · B + A · C + B · C · (A + A)
=A·B +A·C +A·B ·C +A·B ·C
= A · (B + B · C ) + A(C + B · C ) = A · B + AC
(A + B) · (A + C ) · (B + C ) = (A + B) · (A + C )
R: (A + B) · (A + C ) · (B + C ) = (B + A) · (B + C ) · (A + C )
= (B + A · C ) · (A + C ) = B · A + B · C + A · C · A + A · C · C
=A·B +B ·C +A·C =A·B +B ·C +A·C +A·A
= A · (A + C ) + B · (A + C ) = (A + C ) · (A + B)
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 27 / 30
Expressões Booleanas de Circuitos Lógicos
Teoremas de DeMorgan
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 28 / 30
Expressões Booleanas de Circuitos Lógicos
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 29 / 30
Expressões Booleanas de Circuitos Lógicos
Portas NOR também podem ser usadas para implementar qualquer função
booleana
Professor: Tiago Trindade Ribeiro (DEE) ENGC26 - Sistemas Lógicos P. Lógicas e Á. Booleana 30 / 30