Introdução à Lógica Matemática

Lógica e Computação

Aplicação da Lógica Proposicional

Rogério Melo Nepomuceno

Circuitos Lógicos
▪ Em sistemas digitais, um circuito lógico pode
ser representado através da combinação de
entradas e saídas.
▪ Nestes sistemas, o valor lógico
correspondente a verdade é representado
pelo dígito binário 1 (dai o nome bit – binary
digit), enquanto o valor falso é representado
por 0.
Circuitos Combinatórios
▪ Em um circuito lógico combinatório a saída
dependerá apenas dos valores de entrada e das
funções lógicas realizadas por cada uma das portas
lógicas que o compõe.
▪ As portas lógicas são as correlatas aos conectivos
lógicos E, OU e NÃO.
▪ A representação gráfica das portas E (AND), OU (OR) e
NÃO (NOT) e as expressões lógicas correspondentes a
cada uma encontram-se indicadas pela figura a seguir:
Meio Somador – Half Adder
▪ Suponha que desejemos construir um circuito lógico
que, dado duas entradas, A e B, gere uma saída que
corresponda a soma das entradas.
▪ Este circuito é conhecido como meio somador (half
adder), o qual é determinado a partir do
mapeamento das entradas e saídas em uma tabela
verdade.
Meio Somador – Half Adder
▪ A tabela verdade indicada apresenta o
comportamento do meio somador, onde S é a saída
correspondente à soma de A com B, e COUT é o vai-
um resultante da operação (normalmente
denominado por carry out).
▪ Tal tabela foi obtida a partir das seguintes operações:
▪ 1ª linha: 0 + 0 = 0 e vai 0 Entradas Saídas
▪ 2ª linha: 0 + 1 = 1 e vai 0 A B S COUT
0 0 0 0
▪ 3ª linha: 1 + 0 = 1 e vai 0 0 1 1 0
▪ 4ª linha: 1 + 1 = 0 e vai 1 1 0 1 0
1 1 0 1
Soma de Produtos
▪ Uma vez descrita a tabela verdade de um circuito, basta a
percorrermos e retirarmos as fórmulas correspondentes às
saídas, isto é, as expressões lógicas correspondentes aos
circuitos lógicos de saída.
▪ O método mais utilizado para isto é a soma de produtos, o
qual permite criar uma disjunção de conjunções.
▪ Tal método é também denotado por mintermos.
▪ Nele, pegamos somente as saídas iguais a 1 e escrevemos a
conjunção de todas as entradas que levaram àquela saída.
▪ Assim, se uma entrada A for 1, escrevemos A, senão
escrevemos A ഥ.
▪ Uma vez obtidas todas as conjunções para cada saída igual
a 1, efetuamos uma disjunção envolvendo todas elas.
Circuito Meio Somador
Analisando a tabela verdade do meio somador,
podemos verificar que as expressões lógicas
correspondentes às saídas S e COUT são:

Entradas Saídas Expressões

A B S COUT S COUT
ഥ + AB
S = AB ഥ
0 0 0 0
0 1 1 0 ഥB
A
COUT = AB ഥ
1 0 1 0 AB
1 1 0 1 AB
Circuito do Meio Somador
Uma vez obtidas às expressões, é só
desenharmos o circuito lógico correspondente,
o qual pode ser visto pela figura a seguir:
Exercício
▪ Um decodificador n x 2n é um circuito digital que recebe um número
binário composto de n bits em sua entrada e ativa uma das suas 2n saídas,
sendo que cada saída está associada a um único número binário presente
na entrada.
▪ A tabela verdade indicada representa um decodificador 2 x 4.
Entradas Saídas
A1 A0 S3 S2 S1 S0
0 0 0 0 0 1
0 1 0 0 1 0
1 0 0 1 0 0
1 1 1 0 0 0
▪ Encontre a expressão lógica que descreve o circuito eletrônico
representado pela tabela verdade indicada. A seguir, desenhe o circuito
lógico correspondente.