Sistemas Digitais

Aula 3
Circuitos Combinacionais
Álgebra Booleana: Propriedades e Teoremas

02_2023
Introdução
Circuitos Lógicos Combinacionais

Em qualquer instante de tempo, o nível lógico da saída do circuito

depende da combinação dos níveis lógicos presente nas entradas.

• Não possui a característica de memória;

• Saída depende apenas dos valores atuais das entradas.
Introdução
Objetivo
A aplicação desses teoremas tem por objetivo criar ferramentas para simplificar os circuitos digitais ou permitir
que se atinjam certas condições de operação, como o número de portas lógicas que um sinal deve percorrer.

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.

A álgebra booleana permite analisar circuitos lógicos

Permite expressar matematicamente como a(s) saída(s) se relaciona(m) com
a(s) entrada(s)
Existem teoremas que podem nos ajudar em tais análises
Permitem simplificar expressões e circuitos lógicos
Teoremas Booleanos

 Os seguintes teoremas e leis podem representar uma expressão

que contém mais de uma variável.

 O teorema (1) afirma que, se qualquer variável é combinada com

0 usando a operação AND, o resultado deve ser 0.
Teoremas Booleanos

 O teorema (2) também fica evidente quando comparado com a

multiplicação ordinária.
Teoremas Booleanos

 Comprove o teorema (3) tentando caso a caso

SE x = 0, então 0 • 0 = 0.
Se x = 1, então 1 • 1 = 1.
Logo, x • x = x.
Teoremas Booleanos

 O teorema (4) pode ser comprovado da mesma maneira.

Teoremas Booleanos

 O teorema (5) é simples, pois 0 acrescentado a alguma coisa não

afeta seu valor, tanto na adição regular quanto na operação OR.
Teoremas Booleanos

 O teorema (6) afirma que, se uma variável

é combinada com 1 usando-se a operação OR, o resultado é sempre 1.
 Valores de conferência: 0 + 1 = 1 e 1 + 1 = 1.
Teoremas Booleanos

 O teorema (7) pode ser comprovado através da verificação para

ambos os valores de x: 0 + 0 = 0 e 1 + 1 = 1.
Teoremas Booleanos

 O teorema (8) pode ser provado similarmente.

Teoremas Booleanos
 Teoremas multivariáveis
 Leis comutativas

 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

 Use os teoremas (13) e (14) para simplificar a expressão

A B C 𝐴. 𝑪 𝐴. 𝑩. 𝑪 y
1
0 0 0 0 0 0
0 0 1 0 0 0
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 0 0 0
1 1 1 1 0 0
Exercicios

 Use os teoremas (13) e (15b) para simplificar a expressão

2. Teoremas para 1 variável
2. Teoremas para 1 variável
2. Teoremas para 1 variável

Os teoremas (1)~(8) foram aplicados à variável “x”

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:

1) Demonstre o teorema 14 através da fatoração e do teorema 6 e 2.

2) Demonstre o teorema 15 utilizando a tabela verdade.

3. Teoremas para mais de 1 variável

Exercício:
3) Simplifique as expressões indicadas abaixo.

y  ABC  ABC
y  ACD  ABCD
y  ABC  ABD
y  AC  ABC
y  A BD  A B D
y  A BC D  A B C D
y  ( A  B)( A  B )
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.