FACULDADE DE TECNOLOGIA

ITAQUERA MIGUEL REALE

Automao Industrial

Bruno Luna Pereira

2570901513001

LGEBRA DE BOOLE

So Paulo
2016

Bruno Luna Pereira

LGEBRA DE BOOLE

Trabalho extraclasse apresentado ao Curso

Tecnlogo em Automao Industrial da FATEC Itaquera,
orientado pelo Professor Ms. Dalmcio Almeida,
para fim de reposio de carga horria.

So Paulo
2016

RESUMO
Em 1854, o matemtico George Boole desenvolveu mtodos e operaes lgicas
com variveis binrias, operaes que foram denominadas lgebra Booleana ou
lgebra de Boole. Diferente da lgebra convencional, a lgebra de Boole possui um
valor finito de variveis.
Existem trs operaes: Adio, multiplicao e complementao lgica. Com base
nessas operaes so notadas algumas propriedades e o Teorema de De Morgan.
Com base nas formas cannicas de extrao de expresses lgicas da tabela
verdade se torna possvel decidir qual o modo mais rpido e prtico para simplificar
o circuito com maior eficcia.

ABSTRACT
In 1854, the mathematician George Boole developed methods and logical operations
with binary variables, operations that were called Boolean Algebra or Booles
Algebra. Different from conventional algebra, Booles algebra has a finite value of
variables.
There are three operations: addition, multiplication and logical complement. Based
on these operations are noted some properties and Morgan's Theorem.
Based on canonical forms of extraction of logical expressions of the Truth Table it
becomes possible to decide the fastest and most practical way to simplify the circuit
more effectively.

LISTA DE TABELAS
Tabela 1 Operao OU
Tabela 2 Operao E
Tabela 3 Operao NO
Tabela 4 Soma dos Minitermos
Tabela 5 Produto dos Maxitermos
Tabela 6 Representao da Tabela Verdade

8
8
9
11
12
13

SUMRIO

1. Introduo...............................................................................................................6
2. lgebra Booleana...................................................................................................7
2.1.

Variveis...........................................................................................................7

2.2.

Operaes........................................................................................................7

2.2.1.

Operao OU (Adio Lgica)..................................................................7

2.2.2.

Operao E (Multiplicao Lgica)...........................................................8

2.2.3.

Operao NO (Complementao ou Negao).....................................9

2.3.

Leis Fundamentais e Propriedades.................................................................9

2.4.

Teorema de De Morgan.................................................................................10

2.5.

Formas Cannicas.........................................................................................10

2.5.1.

Soma dos Minitermos..............................................................................11

2.5.2.

Produto dos Maxitermos.........................................................................12

2.6.

Representao da Tabela Verdade...............................................................13

3. Concluso.............................................................................................................14
4. Bibliografia............................................................................................................15

1. Introduo
Neste trabalho abordada a histria da lgebra de Boole e como so realizadas as
operaes com variveis binrias, como se organiza as variveis de um sistema em
uma Tabela da Verdade, como so extradas as expresses lgicas necessrias
para o desenvolvimento de um circuito lgico.
As propriedades da lgebra de Boole e o Teorema de De Morgan, so ferramentas
utilizadas na simplificao de expresses lgicas, a fim de reduzir a quantidade de
portas lgicas necessrias para o desenvolvimento prtico do circuito.

2. lgebra Booleana
A lgebra de Boole um conjunto de postulados e operaes lgicas com variveis
binrias desenvolvido em 1854, pelo matemtico e filsofo ingls George Boole
(1815-1864). As operaes bsicas dos circuitos digitais so fundamentadas nos
seus conceitos, que inclusive guardam alguma (mas no total) semelhana com a
lgebra comum dos nmeros reais.
Diferentemente da lgebra ordinria dos reais, onde as variveis podem assumir
valores no intervalo (-,+), as variveis Booleanas s podem assumir um nmero
finito de valores. Em particular, na lgebra Booleana de dois valores, cada varivel
pode assumir um dentre dois valores possveis, os quais podem ser denotados por
[F,V] (falso ou verdadeiro), [H,L] (high and low) ou ainda [0,1]. Como o nmero de
valores que cada varivel pode assumir finito (e pequeno), o nmero de estados
que uma funo Booleana pode assumir tambm ser finito, o que significa que
podemos descrever completamente as funes Booleanas utilizando tabelas.
2.1. Variveis
Uma varivel Booleana representa um dgito binrio, ou seja, apresente apenas os
valores 0 ou 1. No conceito matemtico, o domnio dessa varivel pode ser definido
como o conjunto:
B={0,1}
Portanto, se X uma varivel booleana, X B.
So comuns, para os valores 0 e 1, as designaes Falso e Verdadeiro,
respectivamente.
2.2. Operaes
Na lgebra Booleana, existem trs operaes ou funes bsicas. So elas,
operao OU, operao E e operao NO. Todas as funes Booleanas podem ser
representadas em termos destas operaes bsicas.
2.2.1. Operao OU (Adio Lgica)
similar adio comum e o smbolo usual o mesmo da adio.
X = A+ B

(l-se X igual a A ou B)

Outros smbolos, que tambm so encontrados em bibliografias, so:

X =A| B

ou

X =A B

Na tabela (tabela 1) abaixo ilustra o comportamento da operao OU com duas

variveis.

Note que a operao OU s pode ser realizada se houver, ao menos, duas variveis
envolvidas. Devido a isso, o operador + (OU) dito binrio.

Tabela 1 - Operao OU

2.2.2. Operao E (Multiplicao Lgica)

similar multiplicao comum e o smbolo usual o mesmo smbolo da
multiplicao.
X = A B

(l-se X igual A e B)

Muitas vezes o sinal de multiplicao suprimido, assim como na lgebra comum:

X = AB
Outro smbolo utilizado para operao E, o e comercial (&).
X =A& B
A tabela (tabela 2) abaixo ilustra o comportamento da operao E com duas
variveis.

Tabela 2 - Operao E

2.2.3. Operao NO (Complementao ou Negao)

a operao cujo resultado simplesmente o valor complementar ao que a varivel
apresenta, o valor complementar ser 1 se a varivel apresentar valor 0 e 0 se a
varivel apresentar valor 1.
O smbolo para apresentar a operao complementao sobre uma varivel
Booleana A so , ~A e A (l-se A negado).
Os resultados dessa complementao podem ser observados na tabela exposta
abaixo (Tabela 3).
Diferentemente das operaes OU e E, a complementao s definida sobre uma
varivel, ou sobre o resultado de uma expresso.

A
A
A

Tabela 3 - Operao NO
2.3. Leis Fundamentais e Propriedades
As leis da lgebra de Boole dizem respeito aos valores que uma varivel pode
assumir e operaes elementares com essas variveis. J as propriedades podem
ser deduzidas a partir das definies das operaes.
Se A uma varivel Booleana, ento o espao Booleano :
Se A 0, ento A = 1;
Se A 1, ento A = 0.
As propriedades da lgebra de Boole so:

Da adio lgica:
A+ 0=A
A+ 1=1
A+ A= A
A+ =1
Da multiplicao lgica:
A0=0
A1=A
A A= A
A= 0
Da complementao:

10

=A
Comutatividade:
A+ B=B+A
AB= BA
Associatividade:
A + (B + C) = (A + B) + C = (A + C) + B
A ( B C) = A B + A C
Distributiva:
A (B + C) = A B + A C
Da exclusividade OU (XOR)
A
A= 0
A
A= 1

2.4. Teorema de De Morgan

O primeiro teorema de De Morgan diz que a complementao de um produto lgico
equivale soma lgica das negaes de cada varivel do referido produto. Em
equao:

A A A
A B C ... = A+B+C +...
ABC

O segundo teorema o oposto do primeiro, ou seja, a complementao de uma

soma lgica equivale ao produto das negaes individuais das variveis:
AAA
A + B + C +... = ABC...
ABC
2.5. Formas Cannicas
A partir de uma tabela verdade possvel extrair a expresso lgica que representa
o comportamento de um circuito. Para a elaborao dessa expresso usa-se as
chamadas formas cannicas, que consistem em regras para representar as
condies de entrada que:

Produziro sada 1 ou,

Produziro sada 0.

So portanto duas formas cannicas: uma representa as condies que produzem

sada 1, chamada soma dos minitermos e a outra representa as condies que
produziro sada 0, chamada de produto dos maxitermos. So formas alternativas,
ou seja, a expresso poder ser encontrada pelos dois modos.
2.5.1. Soma dos Minitermos
produzida construindo:

11

Uma sub-expresso para cada linha da tabela verdade (que representa uma

combinao de valores de entrada) em que a sada 1,

Cada um desses termos formado pelo produto (funo E) das variveis de

entrada, sendo que:

Quando a varivel for 1, mantenha;
Quando a varivel for 0, complemente-a (funo NO).
A funo Booleana ser obtida unindo-se os termos produto (ou minitermos)
por uma porta OU.

Dessa forma, ligando-se os minitermos pela porta OU, caso qualquer um dos
minitermos seja 1, a sada pela porta OU ser tambm 1.

Minitermos

AA
ABC
AB

A A
ABC
AC

f=
A
A
A
A
BC +
B
A
A A
ACC
ABC + ABC

A
ABC
C

Tabela 4 Soma de minitermos

2.5.2. Produto dos Maxitermos
A construo semelhante da soma dos minitermos, sendo produzida a partir de:

Uma sub-expresso para cada linda da tabela verdade em que a sada seja 0;
Cada um desses termos formado pela soma (funo OU) das variveis de
entrada, sendo que:
Quando a varivel for 0, mantenha;
Quando a varivel for 1, complemente-a (funo NO).

12

A funo Booleana ser obtida unindo-se os termos soma (ou maxitermos)

por uma porta E.

Dessa forma, ligando-se os maxitermos pela porta E, caso qualquer um dos

minitermos seja 0, a sada pela porta E tambm ser 0.

Maxitermos

A
A+B+C
C

A
A+B+C
B

A
A+B+C
A
A
f = (A+B+C)
C
A
A
(A+B+C) (A+B+C)
BA
1

Tabela 5 Produto dos Maxitermos

13

2.6. Representao da Tabela Verdade

A

Minitermos

Maxitermos

AAA
ABC
ABC

A
A+B+C
C

A
A+B+C
B

A
ABC
A
A
A+B+C
A
A
ABC
B
A A
A+B+C
AB
ABC

Tabela 6 Representao da Tabela Verdade

A partir dos minitermos, temos:
AAA A
A
f = ABCAB
ABC + ABC + ABC + ABC
A partir dos maxitermos, temos:
A
A
A
A A
f = (A+B+C
CBAAB) (A+B+C) (A+B+C) (A+B+C)
As duas formas cannicas produzem expresses equivalentes, portanto ambas
podem ser utilizadas. Basta escolher a com menor nmero de termos, pois produzir
uma expresso mais simples.
Por esse mtodo possvel encontrar a expresso de qualquer tabela verdade.

14

3. Concluso
Aps a realizao de pesquisas em diversos sites e a realizao desse trabalho,
concluo que lgebra Booleana bem similar lgebra Aritmtica em suas
operaes de multiplicao e adio lgicas. Com suas propriedades e mtodos de
simplificao possvel extrair expresses que satisfaam a tabela verdade exposta
de um modo que o circuito resultante seja o menor possvel.

15

4. Bibliografia

http://brasilescola.uol.com.br/informatica/algebra-booleana.htm
http://www.inf.ufes.br/~zegonc/material/Introducao_a_Computacao/isd2.pdf

(arquivo em pdf encontrado em: www.google.com.br)

http://www.mspc.eng.br/eledig/eldg0210.shtml
https://sites.google.com/site/circuitosdigitais20112/algebra-de-boole-esimplificacao-de-circuitos-logicos