Introdução a Ciência

da Computação
Christiano Colen Venancio – CCO – UNIPAC - Ipatinga
 Conceitos da Lógica Digital
 Introdução
 Máquinas projetadas para armazenar 0 e 1.
 Computador, constitui-se:
 Resistores
 Capacitores

Transistores Circuitos Digitais

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Portas e Operações Lógicas
 Portas implementam operações ou funções
lógica específica.
 Operações lógicas devem levar em
consideração resultado Falso ou Verdadeiro.

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Portas e Operações Lógicas

E1
Porta Lógica R
E2
X

E1 operação lógica X E2 = R

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica ou Porta AND
 Produz um resultado verdade na saída, se e
somente se todas as entradas forem verdade.

X Y X and Y
A 0 0 0
X
0 1 0
B 1 0 0
1 1 1
X = A . B ou X = AB

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica ou Porta AND
 Seja A=0110 e B=1101. Calcular X=A. B.

 Seja A=0101, B=0011 e C=1111. Calcular X=A . B . C.

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica ou Porta OR
 Produz um resultado verdade na saída, se pelo
menos uma das entradas for verdade.

A X Y X or Y
X 0 0 0
0 1 1
B 1 0 1
1 1 1
X=A+B

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica ou Porta OR
 Seja A=0110 e B=1101. Calcular X=A + B.

Seja A=0101, B=0011 e C=1111.

Calcular X=A + B + C.

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica NOT
 Inversor ou função complemento.

A X Y Not Y
0 1
1 0

X=A

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica ou Porta NOT
 Seja A=10011. Calcular X=A.

 Seja A=10010 e B=11110. Calcular X=(A + B).

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica NAND – NOT AND
 Se todas as entradas forem verdade então
falso.
X Y X nand Y
0 0 1
0 1 1
A X X’ 1
1
0
1
1
0
B
X = (A . B) A
X
B
UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica ou Porta NAND
 Seja A=10011 e B=10111. Calcular X=(A . B).

Seja A=10010, B=11110 e C =101100.

Calcular X=(A . B . C).

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica NOR – NOT OR
 Inverte o resultado de uma porta OR.

X Y X nor Y
0 0 1
A X
0 1 0
X’ 1 0 0
1 1 0
B
X = (A + B) A
X
B
UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica ou Porta NOR
 Seja A=10011 e B=10111. Calcular X=(A + B).

Seja A=10010, B=11110 e C =101100.

Calcular X=(A + B + C).

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica XOR – OR EXCLUSIVE
 A saída será verdade se exclusivamente uma ou
outra entrada for verdade.
X Y X xor Y
A
X 0 0 0
0 1 1
B 1 0 1
1 1 0

X=A B

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Operação Lógica ou Porta XOR
 Seja A=10011 e B=10111. Calcular X=A B.

Seja A=10010, B=11110 e C =101100.

Calcular X=A B C.

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Expressões Lógicas – Aplicações de Portas
 É uma expressão algébrica formada de

Variáveis lógicas

Símbolos representativos

Sinal de Igualdade
 F = X + Y.Z X Y Z F
0 0 0 0
0 0 1 1
0 1 0 0
X F 0 1 1 0
Y 1 0 0 1
Z 1
1
0
1
1
0
1
1
1 1 1 1

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Cálculos com Expressões Lógicas
 Prioridades:

()

AND

OR

XOR

UNIPAC - 2007
 Exemplos:
 Seja A = 1, B = 0, D = 1. Calcular: X = A +
(B.C) xor D.
 Seja A=1001, B=0010, C=1110 e D=1111.
Calcular o valor de X na seguinte
expressão lógica X = A xor ( (B.C) + D) +
(B xor D).

UNIPAC - 2007
Conceitos da Lógica
Digital
 Um pouco mais de detalhe
 Álgebra booleana
 Lógica digital

UNIPAC - 2007
Conceitos da Lógica
Digital
 Álgebra Booleana
 Retribuição da comunidade científica ao
matemático inglês George Boole (1815-
1864) que desenvolveu uma análise
matemática sobre Lógica.
 1938 – Claude Shannon (MIT) utilizou os
conceitos de álgebra para o projeto
circuitos de chaveamento que usavam
relés.
UNIPAC - 2007
Conceitos da Lógica
Digital
 Álgebra Booleana
 Trata de variáveis e operações a serem
realizadas com essas variáveis.
 Exemplos de expressões:

A lâmpada acenderá se o sinal de A estiver
presente.

A lâmpada acenderá se a chave A e a chave B
estiverem fechadas.
 A lâmpada somente acenderá se o sinal A não
estiver presente.
UNIPAC - 2007
Conceitos da Lógica
Digital
 Álgebra Booleana
 Define a existência de três operações
fundamentais:
 NOT, ~ ou –
 OR, + ou V ou U
 AND, .

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Propriedades da Álgebra Booleana
 Definem como realizar a simplificação de
expressões lógicas booleanas.
AND OR Propriedade
A.B=B.A A+B=B+A Comutativa
Axiomas

A . (B + C) = A .B + A . C A + (B . C) = (A +B) . (A + C) Distributiva
1.A=A 0+A=A Identidade
A . ~A = 0 A + ~A = 1 Complemento

UNIPAC - 2007
 Conceitos da Lógica
Digital
 Propriedades da Álgebra Booleana
0.A=0 1+A=1 Teorema de 0 e 1
A.A=A A+A=A Idem Potência
A . (B . C) = (A .B) . C A + (B + C) = (A + B) + C Associativa
Teoremas

~~A = A Involução
~( A . B) = ~A + ~B ~(A + B) = ~A . ~B Teorema de Morgan
A . B + ~A . C + B . C = A . (A + B) . (~A + C) . (B + C) Teorema do Concenso
B + ~A . C = (A + B) . (~A + C)
A . (A + B) = A A+A.B=A Teorema da Absorção

UNIPAC - 2007
Conceitos da Lógica
Digital
 Propriedades da Álgebra Booleana
 Simplifique as as seguintes expressões
lógicas, indicando as regras utilizadas em
sua simplificação.
 X = A . B.C+A .B.C + A . B.C + A . B.C
 X = ((A+B).B)

UNIPAC - 2007
Conceitos da Lógica
Digital
 Exercícios do capítulo 4: 1,2,3,10

UNIPAC - 2007