15/03/2017 lgebra booleana Wikipdia, a enciclopdia livre

lgebra booleana
Origem: Wikipdia, a enciclopdia livre.

Em lgebra abstrata, lgebras booleanas (ou lgebras de Boole) so estruturas algbricas que "captam as
propriedades essenciais" dos operadores lgicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar
com "afirmaes",[1] so assim denominadas em homenagem ao matemtico George Boole.[2]

ndice
1 Histria
2 Definio
3 Exemplos
4 Teoremas
5 Ordem
6 Homomorfismos e isomorfismos
7 Ver tambm
8 Referncias

Histria
O termo "lgebra booleana" uma homenagem a George Boole, um matemtico ingls autodidata. Boole
introduziu o sistema algbrico, inicialmente, em um pequeno panfleto, o The Mathematical Analysis of Logic,
publicado em 1847, em resposta a uma controvrsia em curso entre Augustus De Morgan e William Hamilton,
e mais tarde como um livro mais substancial, The Laws of Thought, publicado em 1854. A formulao de Boole
difere das descritas acima em alguns aspectos importantes. Por exemplo, a conjuno e a disjuno em Boole
no era um duplo par de operaes. A lgebra booleana surgiu na dcada de 1860, em artigos escritos por
William Jevons e Charles Sanders Peirce.[3] A primeira apresentao sistemtica de lgebra booleana e
reticulados distributivos devido ao 1890 Vorlesungen de Ernst Schrder . O primeiro tratamento extensivo de
lgebra booleana em ingls foi um 1898 na Universal Algebra de Whitehead.[4][5]

Definio
Uma lgebra booleana uma 6-upla consistindo de um conjunto munido de duas
operaes binrias (tambm denotado por , geralmente chamado de "ou") e (tambm denotado por
ou por , geralmente chamado de "e"), uma operao unria (tambm denotada por ou por uma barra
superior, geralmente chamado de "no"), e duas constantes (tambm denotada por ou por , geralmente
chamado de "zero" ou de "falso") e (tambm denotada por ou por , geralmente chamado de "um" ou de
"verdadeiro"), e satisfazendo os seguintes axiomas, para quaisquer :

Propriedades Associativas
Propriedades Comutativas
Propriedades Absortivas
Propriedades Distributivas
Elementos Neutros
Elementos Complementares
https://pt.wikipedia.org/wiki/%C3%81lgebra_booleana 1/4
15/03/2017 lgebra booleana Wikipdia, a enciclopdia livre

Alguns autores tambm incluem a propriedade , para evitar a lgebra booleana com somente um
elemento.

Exemplos
O exemplo mais simples de lgebra booleana com mais de um elemento o conjunto munido das
seguintes operaes:

Um outro exemplo de lgebra booleana o conjunto (o elemento geralmente chamado de

"desconhecido" ou de "talvez") munido das seguintes operaes:

Dado um conjunto , o conjunto das partes de munido das operaes ,

, , e onde e , uma lgebra booleana.
O intervalo munido das operaes , ,e ,
uma lgebra booleana. Essa lgebra booleana recebe o nome de lgica fuzzy.

Teoremas
Dado uma lgebra booleana sobre , so vlidos para quaisquer :

Propriedades Idempotentes

Dupla Negao

Leis de De Morgan

Leis de absoro|Propriedades Absorventes

https://pt.wikipedia.org/wiki/%C3%81lgebra_booleana 2/4
15/03/2017 lgebra booleana Wikipdia, a enciclopdia livre

Elementos Absorventes

Negaes do Zero e do Um

Definies alternativas da operao binria (tambm denotado por , geralmente chamado de "xor" ou de
"ou exclusivo")

Ordem
Dado uma lgebra booleana sobre , vlido para quaisquer :

se e somente se

A relao binria|relao definida como se e somente se uma das duas condies equivalentes acima
satisfeita uma relao de ordem em . O supremo e o nfimo do conjunto so e ,
respectivamente.

Homomorfismos e isomorfismos
Um homomorfismo entre duas lgebras booleanas e uma funo que para quaisquer
:

Uma consequncia que .

Um isomorfismo entre duas lgebras booleanas e um homomorfismo bijetor entre e . O inverso de

um isomorfismo um isomorfismo. Se existe um isomorfismo entre e , dizemos que e so isomorfos.

Ver tambm
Reticulado
Princpio do terceiro excludo
Nmeros binrios
Lgica binria
Tabela verdade
Funo booleana
Circuito digital
Forma cannica
Sistema formal
Mapa de Karnaugh
Diagrama de Venn

lgebra de Heyting
https://pt.wikipedia.org/wiki/%C3%81lgebra_booleana 3/4
15/03/2017 lgebra booleana Wikipdia, a enciclopdia livre

lgebra de Heyting

Referncias
1. Edward R. Scheinerman.Matemtica Discreta - Uma Introduo (http://books.google.com/books?id=2jlz6_IkF3UC&p
g=PA27). Cengage Learning Editores; 2003.ISBN 978-85-221-0291-4. p. 27.
2. Seymour Lipschutz; Marc Lipson.Matemtica Discreta: Coleo Schaum(http://books.google.com/books?id=2S9bwD
mD1P0C&pg=PA454). Bookman; 2004. ISBN 978-85-363-0361-1. p. 454.
3. Hlio Augusto Godoy de Souza.Documentario, Realidade E Semiose(http://books.google.com/books?id=NFJ0MNh9P
V4C&pg=PA198). Annablume; 2002.ISBN 978-85-7419-224-6. p. 198.
4. CAIO AUGUSTUS MORAIS BOLZANI.Residncias Inteligentes(http://books.google.com/books?id=tgTlPE10u68C
&pg=PA45). Editora Livraria da Fisica; 2004.ISBN 978-85-88325-25-8. p. 45.
5. Linda Null; Julia Lobur. Princpios Bsicos de Arquitetura e Organizao de Computadores (http://books.google.com/b
ooks?id=vn-ISIU82t4C&pg=PA140). Bookman; ISBN 978-85-7780-766-6. p. 140.

Obtida de "https://pt.wikipedia.org/w/index.php?title=lgebra_booleana&oldid=48272135"

Categorias: lgebra lgebra booliana Sntese lgica Lgica Cincia da computao Circuitos digitais
Computao

Esta pgina foi modificada pela ltima vez (s) 03h30min de 15 de maro de 2017.
Este texto disponibilizado nos termos da licena Creative Commons - Atribuio - Compartilha Igual
3.0 No Adaptada (CC BY-SA 3.0); pode estar sujeito a condies adicionais. Para mais detalhes,
consulte as condies de uso.

https://pt.wikipedia.org/wiki/%C3%81lgebra_booleana 4/4