Equivalencia Portas Logicas
Equivalencia Portas Logicas
Equivalencia Portas Logicas
Lógicas
Mauro Felipe Oliveira Costa
Universidade Federal do Piauí
[email protected]
Abstract This was seen visa verify the doors lógicas XOR e 𝑆 = 𝐴̅𝐵 + 𝐴𝐵̅
XNOR e suas unidades com portas lógicas elementares AND, NOT
e OR. Usando os Teoremas De Morgan é possível obter a
Keywords – equivalence, Morgan, XNOR, XOR. mesma função com funções NAND e NOT.
I. OBJETIVOS ̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅
̅𝐵 ∙ ̅̅̅̅
𝑆 = (𝐴 𝐴𝐵̅ )
Projetar uma função lógica XOR a partir da tabela
verdade; A Tabela Verdade da função XOR é apresentada na
Usar a Tabela Verdade para avaliar uma função lógica tabela 1.
dada por uma expressão lógica ou por um circuito
lógico; A B S
0 0 0
Usar o Teorema De Morgan para verificar a
0 1 1
equivalência de circuitos lógicos; 1 0 1
Usar a porta XOR para projetar circuitos 1 1 0
comparadores; Tabela 1 – Tabela Verdade da função XOR
Descrever a função XOR e mostrar como obter sua
expressão lógica; Na figura 1 é apresentado o diagrama lógico da
Dar as identidades mais usadas nas equivalências de montagem.
circuitos.
Mostrar como obter a estrutura AND-OR,
graficamente, a partir da NAND-NAND
B. Montagens
b) Diagrama elétrico
Figura 2 – Diagrama elétrico da porta XOR com portas
inversoras e NAND O diagrama elétrico da montagem é apresentado na
figura 5.
c) Verificação da montagem
A montagem pode ser verificada através da Tabela
Verdade apresentada na tabela 2.
A B S
0 0
0 1
1 0
1 1
Tabela 2 – Tabela Verdade da primeira montagem
Nesta montagem, utilizaremos a função para comparar O circuito deverá retornar valor lógico verdadeiro
se dois números de 3 bits são iguais. Para isso podem ser quando as entradas A e B de mesma magnitude tiverem o
utilizados portas lógicas XNOR, como apresentado na figura mesmo valor.
3, ou pode ser obter a mesmo resultado com portas XOR e
NAND, como mostrado na figura 4. Para verificar o funcionamento utilizaremos a tabela
verdade da tabela 3, com 16 combinações nas entradas, sendo
que oito representam números diferentes e oito representam
números iguais.
A2 B2 A1 B1 A0 B0 S
0 0 1 1 1 1
0 0 0 0 0 0
0 0 0 0 1 1
0 0 1 1 0 0
1 1 0 0 0 0
1 1 0 0 1 1
1 1 1 1 0 0
1 1 1 1 1 1
Figura 3 – Diagrama lógico da montagem com portas XNOR
0 0 1 0 0 0
0 1 0 1 0 1
0 0 0 1 1 1
0 0 1 0 0 0
1 1 1 1 1 0
1 1 0 0 0 1
1 0 0 0 0 0
2
1 0 1 0 0 1 A B S
Tabela 3 – Tabela Verdade da montagem 0 0
0 1
3ª Montagem: Porta NAND a partir de porta OR. 1 0
1 1
a) Descrição do funcionamento Tabela 5 – Tabela Verdade da montagem
̅̅̅̅̅̅
𝐴 ∙ 𝐵 = 𝐴̅ + 𝐵̅ ____________________________________________
_________________________________________________
Logo é possível obter uma porta NAND a partir de _________________________________________________
uma porta OR, como mostrado na figura 6. _________________________________________________
_________________________________________________
_________________________________________________
_________________________________________________
_________________________________________________
_________________________________________________
_________________________________________________
Figura 6 – Porta NAND a partir de porta OR _________________________________________________
O teorema pode ser verificado pela Tabela verdade da V – QUESTÕES
tabela 4.
1. Mostrar a partir da tabela verdade da porta XOR,
𝐴 𝐵 𝐴𝐵 ̅̅̅̅
𝐴𝐵 𝐴̅ 𝐵̅ 𝐴̅ + 𝐵̅ como é possível implementar um inversor, a partir
0 0 0 1 1 1 1
da porta XOR.
0 1 0 0 1 0 0
1 0 0 0 0 1 0 A Tabela Verdade da porta XOR é apresentada na
1 1 1 0 0 0 0
figura 1.
Tabela 4 – Tabela Verdade do Teorema De Morgan
Observa-se que deixando uma das entradas sempre em
b) Diagrama elétrico
valor 1, outra entrada servirá como uma porta inversora.
A B S
0 0 1
0 1 0
1 0 0
c) Verificação do funcionamento 1 1 1
Tabela 6 – Tabela Verdade da função XNOR
A montagem pode ser verificada pela Tabela Verdade
Analisando a tabela 6, podemos obter a seguinte
da tabela 5.
expressão para a função XNOR:
𝑆 = 𝐴 ∙ 𝐵 + 𝐴̅ ∙ 𝐵̅
3
Figura 6 – Função XNOR com portas AND e OR
Figura 7
̅̅̅̅̅̅̅̅̅̅
𝐴 ∙ 𝐵 + 𝐶 = ̅̅̅̅
𝐴𝐵 + 𝐶
𝐴𝐵 + 𝐶 = 𝐴𝐵 + 𝐶̅
REFERÊNCIAS BIBLIOGRÁFICAS