Escolar Documentos
Profissional Documentos
Cultura Documentos
Aula 3
Circuitos Combinacionais
Álgebra Booleana: Propriedades e Teoremas
02_2023
Introdução
Circuitos Lógicos Combinacionais
Esses teoremas ajudarão o projetista, por exemplo, a aproveitar de maneira mais eficiente as portas lógicas
presentes em um circuito integrado, talvez não necessitando da aquisição de um segundo tipo de porta.
SE x = 0, então 0 • 0 = 0.
Se x = 1, então 1 • 1 = 1.
Logo, x • x = x.
Teoremas Booleanos
Leis associativas
Leis distributivas
Teoremas Booleanos
Teoremas multivariáveis
Os teoremas (14) e (15) não possuem equivalentes na álgebra
comum. Cada um deles pode ser provado ao tentar todos os
casos possíveis para x e y.
Tabela de análise e fatoração
para teorema (14)
Exercicios
A B C 𝐴. 𝑪 𝐴. 𝑩. 𝑪 y
1
0 0 0 0 0 0
0 0 1 0 0 0
).1 0 1 0 0 0 0
0 1 1 0 0 0
1 0 0 1 0 1
1 0 1 0 0 0
1 1 0 1 1 1
1 1 1 0 0 0
A B C D 𝐴̅𝐵 𝐷 y
Exercicios 0
0
0
0
0
0
0
1
1
0
1
0
0 0 1 0 1 1
Use os teoremas (13) e (8) para simplificar a 0 0 1 1 0 0
expressão 0 1 0 0 0 0
0 1 0 1 0 0
0 1 1 0 0 0
0 1 1 1 0 0
1
1 0 0 0 0 0
1 0 0 1 0 0
1 0 1 0 0 0
1 0 1 1 0 0
1 1 0 0 0 0
1 1 0 1 0 0
𝑥 + 𝑥 = 𝑥(𝑥 + 1) 1 1 1 0 0 0
1 1 1 1 0 0
Exercicios
Leis distributivas
2. Teoremas para 1 variável
2. Teoremas para 1 variável
2. Teoremas para 1 variável
Na verdade “x” pode representar uma expressão com mais de 1 variável
Exemplo:
AB AB teorema 4
O mesmo raciocínio pode ser aplicado para qualquer um dos teoremas (1)~(8)
3. Teoremas para mais de 1 variável
Comutatividade
Associatividade
Distributividade
(fatoração)
Não possuem
análogos na
álgebra
convencional
3. Teoremas para mais de 1 variável
Exercício:
Exercício:
3) Simplifique as expressões indicadas abaixo.
A C AC 𝑨. 𝑪 S1
0 0 0 1 1
0 1 0 0 0
1 0 0 0 0
1 1 1 0 1
3. Teoremas para mais de 1 variável
Exercício:
3) Simplifique as expressões indicadas abaixo.
3. Teoremas para mais de 1 variável
Exercício:
3) Simplifique as expressões indicadas abaixo.
3. Teoremas para mais de 1 variável
Exercício:
3) Simplifique as expressões indicadas abaixo.
+
1
3. Teoremas para mais de 1 variável
Exercício:
3) Simplifique as expressões indicadas abaixo.
3. Teoremas para mais de 1 variável
Exercício:
3) Simplifique as expressões indicadas abaixo.
Referências
WIDMER, Neals S.; MOSS, Gregory L.; TOCCI, Ronald J. Sistemas digitais: princípios e aplicações. 12. ed. Pearson, 2019. E-
book. Disponível em: https://plataforma.bvirtual.com.br/Acervo/Publicacao/168497
FLOYD Thomas, F. Sistemas digitais: fundamentos e aplicações. 9. ed. Porto Alegre: Bookman, 2007. E-book. Disponível
em: https://integrada.minhabiblioteca.com.br/books/9788577801077
FRANK, V. Sistemas digitais: projeto, otimização e HDLs. Porto Alegre: Bookman, 2008. E-book. Disponível em:
https://integrada.minhabiblioteca.com.br/books/9788577802371
Algumas figuras utilizadas nesta apresentação foram retiradas das referências citadas acima.