Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Lgica:
Ramo da filosofia* que trata das formas do pensamento ;
Lgica do termo grego logik, o qual derivado de logos, que significa,
palavra, discurso, raciocnio; a cincia do raciocnio;

Criao atribuda a Aristteles (filsofo grego, 384 a 322 a.C.), primeiro

estudo formal de lgica do qual se tem conhecimento;

Baseada em somente dois tipos de proposies: falso e verdadeiro;

*Filosofia- amor sabedoria (do grego "philos" + "sophia"- amizade/amor + sabedoria), estudo da natureza fundamental do
conhecimento, realidade e existncia.

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

A Lgica de Aristteles Lgica dedu va

Utiliza o silogismo ou raciocnio dedutivo , onde normalmente tem-se 3
afirmativas categricas: duas premissas e uma concluso;
Exemplo: Todo homem mortal, Aristteles homem, ento Aristteles mortal.

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

A Lgica de Aristteles Lgica dedu va

No possvel tratar todos os problemas do mundo real dentro do contexto

das

afirmativas categricas da Lgica de Aristteles, onde existem somente os objetos

verdadeiro e falso, branco e preto, etc., sendo necessria uma lgica mais
abrangente: lgica moderna , Gottlob Frege (1848 1925).
Exemplo 1: Lgica indutiva
Todas as provas de EDG so fceis, portanto todos os alunos esto aprovados.
Exemplo 2 : Lgica de Predicados
Todos os estudiosos so aprovados em EDG. Nem todos os alunos so estudiosos. Nem
todos alunos so aprovados em EDG.

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

A Lgica de Aristteles Lgica dedu va

Apesar da aplicao limitada, a lgica dedutiva tem um papel importante na
Cincia e Engenharia e ser o foco principal de estudo no Curso de Eletrnica
Digital.

Leis fundamentais da Lgica dedutiva:

Lei
Lei

da identidade -> (A=A) todo elemento ou proposio igual a si mesmo;

da no-contradio -> (A no = ) uma proposio no pode ser

verdadeira e falsa simultaneamente;

Lei

do terceiro excludo -> uma proposio verdadeira ou falsa, no havendo

outra possibilidade;

Lei

da inferncia lgica ou racional -> (A=B e B=C, ento A=C)

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Operaes lgicas (portas lgicas):

Operao inversora (NOT)

Tabela Verdade
Entrada

Sada

E
0
1

S
1
0

Smbolos da porta lgica NOT

Expresso lgica:
=

Operao da porta inversora

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Operaes lgicas (portas lgicas):

Tabela Verdade
Operao OU (OR)

Entradas
A
0
0
1
1

B
0
1
0
1

Sada
S
0
1
1
1

Smbolo da porta lgica OR

Expresso lgica:
=

+
Operao da porta OR

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Operaes lgicas (portas lgicas):

Porta OU (OR) com 2 ou mais entradas

Tabela Verdade
Entradas
A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

Sada
C
0
1
0
1
0
1
0
1

S
0
1
1
1
1
1
1
1

Tabela Verdade
Entradas

Sada

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Operaes lgicas (portas lgicas):

Tabela Verdade
Operao E (AND)

Entradas
A
0
0
1
1

B
0
1
0
1

Sada
S
0
0
0
1

Smbolo da porta lgica AND

Expresso lgica:
= .
Operao da porta AND

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Operaes lgicas (portas lgicas):

Porta E (AND) com 2 ou mais entradas

Tabela Verdade
Entradas
A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

Sada
C
0
1
0
1
0
1
0
1

S
0
0
0
0
0
0
0
1

Tabela Verdade
Entradas
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1

B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1

C
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1

Sada
D
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1

S
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Operaes lgicas (portas lgicas):

Tabela Verdade
Operao NO-OU (NOR)

Entradas
A
0
0
1
1

B
0
1
0
1

Sada
S
1
0
0
0

Smbolo da porta lgica NOR

Expresso lgica:
=

+
Operao da porta NOR

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Operaes lgicas (portas lgicas):

Tabela Verdade
Operao NO-E (NAND)

Entradas
A
0
0
1
1

B
0
1
0
1

Sada
S
1
1
1
0

Smbolo da porta lgica NAND

Expresso lgica:
= .
Operao da porta NAND

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Operaes lgicas (portas lgicas):

Tabela Verdade
Operao OU-Exclusivo (XOR Exclusive-OR)

Entradas
A
0
0
1
1

B
0
1
0
1

Sada
S
0
1
1
0

Smbolo da porta lgica XOR

Expresso lgica:
=A

= +A
Operao da porta XOR

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Operaes lgicas (portas lgicas):

Tabela Verdade
Operao No-OU-Exclusivo
(XNOR Exclusive-NOR)

Entradas
A
0
0
1
1

B
0
1
0
1

Sada
S
1
0
0
1

Smbolo da porta lgica XNOR

Expresso lgica:
=A

= +A
Operao da porta XNOR

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

Exemplos de circuitos lgicos:

Fonte: Logic Guide 2014,Texas Instruments,2014,sdyu001aa.pdf

Representao dos nveis lgicos

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

lgebra de Boole
Criada por George Boole* em 1854;
Sistema algbrico usado para trabalhar com lgica binria;
O sistema integra o Domnio , o qual contm os elementos binrios, a
operao unria NOT e as operaes binrias OR e AND;
A lgebra de Boole ou lgebra Booleana compreende uma srie de
postulados e teoremas, os quais sero apresentados a seguir.

* Matemtico e filsofo britnico, 02/11/1815-08/12/1864.

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

lgebra de Boole
Postulados:
Operao OR

Operao AND

Complemento

Complemento

+ = 1;

Conjunto fechado

. = 0;

Conjunto fechado
,
+

,
.

Identidade

Identidade
+0=0+

= ;

Propriedade comutativa
+ = + ;
Propriedade distributiva
+ .
+ . =

,
+

. 1 = 1.

= ;

Propriedade comutativa
. = . ;

Propriedade distributiva
. +
= . +

, ,

, ,

Universidade Federal de Uberlndia

Faculdade de Engenharia Eltrica

Eletrnica Digital

Prof. Ernane Coelho

lgebra de Boole
Teoremas:
=

( )=

Absoro

, =

+1=1

.0 = 0

+
=
+ = +

Propriedade associativa
+
=
+
+
Teorema de DeMorgan
( + ) = .

Absoro

.( + ) =
= .
. +

Propriedade associativa
. . = .
Teorema de DeMorgan
.
= +