Disciplina: Lógica Matemática

Prof. Etelvira Leite

A álgebra de Boole é um conjunto de postulados e
operações lógicas com variáveis binárias
desenvolvido pelo matemático e filósofo inglês
George Boole (1815-1864).
O inglês George Boole é considerado o pai da lógica
simbólica.

Lógica Matemática
 Álgebra de Boole e
Computação

Arquitetura de Computadores
Modelagem de Circuitos (hardware)
Minimização de Circuitos Lógicos
Processamento de imagens binárias

Lógica Matemática
p q f(p,q)
0 0 0
0 1 1 ~p Λ q
(~p Λ q) V (p Λ ~q)
1 0 1 p Λ ~q
1 1 0

O que podemos observar acima?

• O número de termos desta Função corresponde ao número de
linhas tal que f(p,q) = 1

Lógica Matemática
Na concepção de circuitos, e na maior parte dos
projetos, o objeto de interesse será o estado em
que as combinações avaliam o valor “1”

Em hardware, convenciona-se:
◦ F – bit 0, 0 Volts, não circula corrente elétrica, etc.
◦ V – bit 1, 5 Volts (p. ex), circula corrente elétrica, etc.

Lógica Matemática
Por ÁLGEBRA BOOLEANA entendemos um conjunto B={p,
q, r , ..} junto com duas operações binárias + e · em B,
uma operação singular ’ em B e dois elementos distintos
0 e 1 de B tais que valem as seguintes propriedades:
(para todo p , q , r em B ).

Indicamos uma Álgebra Booleana por

[ B , + , · , ’ , 0 , 1 ].

Uma expressão booleana, uma fórmula e uma expressão

na álgebra do conjuntos, são correspondentes se
substituímos ’ , + , · , ⊕ , = , 0 , 1 respectivamente
por ~ , ∨ , ∧ , ∨ , ⇔ , F , V .

Lógica Matemática
 Operações fundamentais da álgebra booleana:

 AND (conjunção)  OR (disjunção)  NOT (negação)

A B A.B A B A+B A A’
0 0 0 0 0 0 0 1
0 1 0 0 1 1 1 0
1 0 0 1 0 1
1 1 1 1 1 1

Lógica Matemática
Nota: A.B ≡ AB
 Outros Operadores Lógicos:

Expressão
Designação Operação Álgebra Booleana
equivalente
Implicação A→B ~A ∨ B A’ + B
(~A ∨ B) ∧ (A ∨ ~B) (A’+B).(A+B’)
Equivalência A↔B
(~A ∧ ~B) ∨ (A ∧ B) (A ⊕ B)’ = A’.B’ + A.B
Ou Exclusivo A∨B (A ∧ ~B) ∨ (~A ∧ B) A ⊕ B = A.B’ + A’.B
Não-E A∧
~ B ~(A ∧ B) (A.B)’
Não-OU A∨
~ B ~(A ∨ B) (A + B)’

Lógica Matemática
Operações derivadas da álgebra booleana:
 NAND (NÃO E)  NOR (NÃO OU)

A B (A.B)’ A B (A+B)’
0 0 1 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 0

Lógica Matemática
Operações derivadas da álgebra booleana:
 XOR (OU EXCLUSIVO)  XNOR (NÃO OU EXCLUSICO)

A B A⊕B A B (A⊕B)’
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 1

A⊕B (A⊕B )’

Lógica Matemática
Lógica Matemática
Os circuitos que serão descritos e analisados são
classificados como Circuitos Lógicos
Combinacionais porque, 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.

Uma vez obtida a expressão de um circuito lógico,

podemos reduzi-la a uma forma mais simples que
contenha um menor número de termos ou
variáveis em um ou mais termos da expressão.

Lógica Matemática
Dois métodos para simplificação de circuitos
lógicos serão estudados:
(i) Simplificação Algébrica e
(ii) Mapa de Karnaugh.

Podemos usar os teoremas (postulados) da

Álgebra Booleana para nos auxiliar a simplificar
expressões de circuitos lógicos.

Lógica Matemática
 Postulados:
Teoremas
1 A+0=A 10 A+A.B=A (Lei da Absorção 1)
2 A+1=1 11 A . ( A + B) = A (Lei da Absorção 1)
3 A+A=A 12 A + A' . B = A + B (Lei da Absorção 2)
4 A + A' = 1 13 A . ( A' + B) = A . B (Lei da Absorção 2)
5 A.1=A 14 (A . B)’ = A’ + B’ (De Morgan)
6 A.0=0 15 (A + B)’ = A’ . B’ (De Morgan)
7 A.A=A 16 A + (B . C) = (A + B) . (A + C) (Distributiva)
8 A . A' = 0 17 A . (B + C) = A . B + A . C (Distributiva)
9 A'' = A

Lógica Matemática
 Com a expressão na forma soma-de-produtos,
podemos fazer:

f(A,B,C) = ABC + A'BC + AB'C + A'B'C + ABC'

= BC(A + A') + B'C(A + A') + ABC'
= BC.1 + B'C.1 + ABC'
= C(B + B') + ABC'
= C.1 + ABC'
= C + ABC'
= C + AB
Lógica Matemática
Simplificando o circuito lógico abaixo, temos:

f(A,B,C) = AB' (A'C') ' + ABC

Lógica Matemática
f(A,B,C) = AB' (A'C')'+ ABC
= AB'(A + C) + ABC
= AB'A + AB'C + ABC
= AB' + AB'C + ABC
= AB' (1 + C) + ABC
= AB' + ABC
= A(B' + BC)
= A(B' + C)

Lógica Matemática
E se a expressão tornar-se muito grande?
ABCD + A'BCD’ + AB'C’D + A'B'CD + ABC‘D’ +... (ainda não acabou?) +...

Mapas de Karnaugh

Lógica Matemática
Os diagramas foram originalmente criados por
Edward Veitch (1952) e aperfeiçoados pelo
engenheiro de telecomunicações Maurice Karnaugh.
Karnaugh utilizou os diagramas para simplificar
circuitos utilizados em telefonia.

O nome completo do método é Veitch-Karnaugh, em

homenagem aos seus dois precursores, mas
usualmente utiliza-se apenas o nome de Karnaugh
para o método.

Lógica Matemática
O mapa de Karnaugh é um método gráfico usado
para simplificar uma equação lógica ou para
converter uma tabela-verdade no seu circuito lógico
correspondente, de uma forma simples.

 1 variável

Lógica Matemática
 2 variáveis

Lógica Matemática
 3 variáveis

Lógica Matemática
 4 variáveis

Lógica Matemática
Para simplificar procedemos do seguinte modo:

1. Agrupar, traçando ovais ao redor de todos os "1" para

formar grupos de 2n "1" adjacentes.
2. Nenhum "1" pode ficar fora dos grupos formados. Se
necessário, agrupá-lo sozinho.
3. Quanto maior o grupo, mais simplificada ficará a
expressão.
4. Se necessário, um "1" pode ser agrupado mais de uma
vez. Nunca agrupá-lo se não houver necessidade.
5. A variável que se repetir em cada grupo permanece na
expressão. A variável que não se repete é eliminada.

Lógica Matemática
 Exemplo: ABC + AB’C’ + A’BC obtemos AB’C’ + BC

1 1

Lógica Matemática
 Exemplo: AB’ + A’B + A’B’ obtemos A’ + B’

1 1 1

1 1
1

Lógica Matemática
 Quando o nível de saída desejado de um circuito lógico
é dado para todas as condições de entrada possíveis,
os resultados são apresentados em uma tabela-
verdade. A expressão Booleana para o circuito
requerido pode então ser obtida a partir desta tabela-
verdade.
 Por exemplo: X=1 para A=0 e B=1.

Lógica Matemática
 Vamos considerar o caso no qual temos uma tabela
verdade em que a saída será 1 apenas para dois
casos distintos: A = 0, B = 1 e A = 1, B = 0.

Lógica Matemática
Existem dispositivos físicos de dois estados, tais
como interruptores, contatos, diodos, transistores,
etc. Dependendo do dispositivo em questão, eles
podem tomar os estados ligado/desligado,
conduzindo/não conduzindo, fechado/aberto,
carregado/descarregado, etc. Vários circuitos podem
ser formados com esses dispositivos, tais como
circuitos de computadores eletrônicos, dispositivos
ou sistemas de controle em geral (elevador, display
digital), etc.

Lógica Matemática
Em um circuito elétrico, uma chave é um dispositivo
ligado a um ponto do circuito e que pode tomar um
dos dois estados, fechado ou aberto. No estado
“fechado” (que indicaremos por 1), a chave permite
que a corrente passe através do ponto, enquanto
que no estado “aberto” (que indicaremos por 0)
nenhuma corrente passa através do ponto.

A disposição dos fios e das chaves no circuito

determina alguns tipos de circuitos. Os possíveis
tipos estão ilustrados a seguir:

Lógica Matemática
1.Circuito com uma chave p:

A indicação "fechado" ou "aberto" do interruptor

será conhecida com a indicação de p=1 ou p=0
respectivamente.

Lógica Matemática
2.Circuito com duas chaves p e q:
Em paralelo indicado por p + q

Neste caso, não passa corrente se e somente p=0 e

q=0 ou seja, estão ambos "abertos" o que corresponde
no à tabela verdade da disjunção p ∨ q.

Lógica Matemática
 Em série indicado por p·q ou pq

Neste caso passa corrente se e somente se p=1 e q=1

ou seja, estão ambos "fechados" o que corresponde à
tabela verdade da conjunção p ∧ q.

Lógica Matemática
Exemplo : A expressão é um circuito correspondente
à fórmula
( p → q) ∨ ~r ⇔ ~p ∨ q ∨ ~r será : p’ + q +r’

p’

r’

Lógica Matemática
Na prática:
O que ocorreria se nós ligássemos em SÉRIE duas
chaves automáticas e ligássemos uma lâmpada ao
circuito?

A lâmpada
acenderia se e
somente se as duas
chaves estivessem
na posição LIGADO.

Lógica Matemática
O que ocorreria se nós ligássemos em PARALELO duas
chaves automáticas e ligássemos uma lâmpada ao
circuito?

A lâmpada acenderia
se qualquer uma das
chaves estivesse na
posição LIGADO.

Lógica Matemática
Daghlian, Jacob. Lógica e Álgebra de Boole. 4ª ed. São Paulo:
Atlas, 2008. 167p.
IDOETA, Ivan Valeije; CAPUANO, Francisco Gabriel. Elementos
de Eletrônica Digital. 40. ed. São Paulo: Érica, 2008. 524p., il.
ISBN (Broch).

Lógica Matemática