Escolar Documentos
Profissional Documentos
Cultura Documentos
RESUMO
Álgebras booleanas são estruturas algébricas que capturam a essência das operações lógicas. Ela é
fundamental para matemática computacional que se baseia em números binários.Eles podem ser
representados de varias formas.
ABSTRACT
Boolean algebras are algebraic structures that capture the essence of logical operations. It is
fundamental in computational mathematics which is based on binários.Eles numbers can be
represented in various ways.
1 Introdução
Este artigo fala sobre Álgebra booleana, sua defição, sua notação, suas primeiras consequências, e
mostra exemplos. Álgebra booleana faz parte de um sistema lógico.
A mais importante álgebra Booleana tem apenas 2 elementos, 0 e 1, e é definida pelas regras, onde 0
é falso e 1 é verdadeiro.
2 Definição
Receberam o nome de George Boole, matemático inglês, que foi o primeiro a defini-las como parte
de um sistema de lógica em meados do século XIX. Mais especificamente, a álgebra booleana foi uma
tentativa de utilizar técnicas algébricas para lidar com expressões no cálculo proposicional. Hoje, as álgebras
booleanas têm muitas aplicações na electrônica. Foram pela primeira vez aplicadas a interruptores por
Claude Shannon, no século XX.
Os operadores da álgebra booleana podem ser representados de várias formas. É frequente serem
simplesmente escritos como E, OU ou NÃO (são mais comuns os seus equivalentes em inglês: AND, OR e
NOT). Na descrição de circuitos também podem ser utilizados NAND (NOT AND), NOR (NOT OR) e XOR
(OR exclusivo). Os matemáticos usam com frequência + para OU e . para E (visto que sob alguns aspectos
estas operações são análogas à adição e multiplicação noutras estruturas algébricas) e representam NÃO com
uma linha traçada sobre a expressão que está a ser negada.
Em um computador, todas as operações são feitas a partir de tomadas de decisões que, por mais
complexas que sejam, nada mais são que combinações das três operações lógicas correspondentes às
condições acima descritas: NOT, AND e OR. Para tomadas de decisões mais complexas, tudo o que é
preciso é combinar estas operações. E para isto é necessário um conjunto de ferramentas capaz de manejar
variáveis lógicas.
3 Notação
Aqui iremos usar outra notação comum, com ∧ (ou ^ para browsers que não suportam esse caracter)
para E, ∨ (ou v) para OU, e ¬ (ou ~) para NÃO.
Da mesma forma que há apenas quatro operações fundamentais na aritmética, há apenas três
operações fundamentais na álgebra booleana. Estas operações são AND, OR e NOT.
Pode ser aplicada a duas ou mais variáveis (que podem assumir apenas os valores
“verdadeiro” ou “falso”). A operação AND resulta “verdadeiro” se e apenas se os valores de ambas as
variáveis A e B assumirem o valor “verdadeiro”.
3.2 - Operação OR
Também pode ser aplicada a duas ou mais variáveis (que podem assumir apenas os valores
“verdadeiro” ou “falso”). A operação OR resulta “verdadeiro” se o valor de qualquer uma das
variáveis A ou B assumir o valor “verdadeiro”.
É unária, ou seja, aplicável a uma única variável. A operação NOT inverte o valor da variável.
Ela resulta “verdadeiro” se a variável assume o valor “falso” e resulta “falso” se a variável assume o
valor “verdadeiro”.
4 Primeiras consequências
Uma álgebra booleana é um reticulado (lattice) (A, ∧, ∨) com as quatro propriedades adicionais que
seguem:
5 Exemplos
Vejamos um exemplo. Imagine que aplicamos a operação lógica AND a duas variáveis, A e B. Cada
variável só pode assumir os valores “verdadeiro” ou “falso”. Nosso conhecimento de lógica booleana nos diz
que para que o resultado de A AND B seja verdadeiro,AMBOS os operandos devem ser verdadeiros, ou seja:
Figura 2: A AND B (para A e B verdadeiros)
No entanto, existem outras combinações possíveis para os valores de A e B. Porém sabemos que
todas resultam “falso”. Elas estão listadas na Figura 3:
Para simplificar, representemos o valor “verdadeiro” por “um” e “falso” por “zero”. A tabela
verdade fica, então:
Figura 5: Tabela verdade da operação AND
Raciocínio idêntico pode ser feito para as demais operações. O resultado pode ser visto na Figura 6,
que exibe a tabela verdade de todas as operações lógicas:
Por exemplo, a expressão algébrica (da álgebra convencional): (A / B) +C vale 5 quando as variáveis
assumem os valores A=9, B=3 e C=2.
As expressões da álgebra booleana podem ser avaliadas de forma semelhante. A diferença básica é
que suas operações são as operações lógicas previamente definidas e os valores a serem atribuídos (tanto à
expressão quanto às variáveis) alternam somente entre “verdadeiro” (ou 1) e “falso” (ou 0).
A mais importante álgebra Booleana tem apenas 2 elementos, 0 e 1, e é definida pelas regras.
Isso tem aplicação em lógica, onde 0 é interpretado como "falso", 1 é "verdadeiro", ∧ é "e", ∨ é "ou",
e ¬ "não". Expressões envolvendo variáveis e operações Booleanas representam formas de indicações, e as
tais duas expressões podem ser mostradas para ser usadas igualmente utilizando o axioma acima se e
somente se as formas indicadas correspondentes forem equivalentes lógicos.
Além disso, cada possibilidade do comportamento de entrada e saída pode ser modelada pela
expressão Booleana apropriada.
A álgebra booleana binária é também importante na teoria geral de álgebras booleanas, porque uma
equação envolvendo diversas variáveis é verdadeira em todas as álgebras booleanas se e só se é verdadeira
na álgebra booleana de dois elementos. Isto pode, por exemplo, ser usado para mostrar que os seguintes
teoremas (Teoremas de consenso) são válidos em todas as álgebras booleanas em geral:
(a ∨ b) ∧ (¬a ∨ c) ∧ (b ∨ c) = (a ∨ b) ∧ (¬a ∨ c)
(a ∧ b) ∨ (¬a ∧ c) ∨ (b ∧ c) = (a ∧ b) ∨ (¬a ∧ c)
6 Homomorfismos e isomorfismos
Um homomorfismo entre as álgebras Booleanas A e B é uma função f: A → B tal que para todos a, b
em A:
f(0) = 0
f(1) = 1
A classe de todas as álgebras Booleanas, com esta noção de morfismo, forma uma categoria. Um
isomorfismo de A para B é um homomorfismo bijetivo de A para B. O inverso de um isomorfismo é ainda um
isomorfismo, e chamamos as duas álgebras Booleanas A e B de isomorfas. Do ponto de vista da teoria das
álgebras Booleanas, elas não podem ser distinguidas entre si; somente diferem na notação de seus elementos.
7 Conclusão
Depois disso é possível analisar todos os fenômenos relativos à lógica digital que rege as operações
internas dos computadores.
8 Bibliografia
George Boole
(1815-1864)