ÁLGEBRA DE BOOLE

George Boole nasceu em 2 de novembro de 1815 em Lincoln, Inglaterra. Mesmo não

tendo formação acadêmica, iniciou sua carreira de professor aos 16 anos. Em 1854,
Boole publicou a obra An Investigation into the Laws of Thought propondo as teorias
matemáticas da lógica, dando inicio a álgebra da lógica conhecida como álgebra
Booleana, a qual possui aplicações na computação.

George Boole, 1815-1864

Fonte: http://digitallydaunted.com/2013/06/25/
george-boole-introduction-to-geekdom-computer-geeks/

Teoremas da Álgebra de Boole

Considerando A e B como duas variáveis da Álgebra de Boole:

Se A≠0 A=1 Se A≠1 A=0

Envolvendo apenas uma variável:

1 (A’)’ = A

2 A+0=A 6 A.1=A

3 A+1=1 7 A.0=0

4 A+A=A 8 A.A=A

5 A + A' = 1 9 A . A' = 0

Existe um princípio especial na álgebra booleana denominado “Princípio da

Dualidade”:

Para uma equação booleana qualquer, se trocarmos as operações E (.) e

operações OU (+) entre si assim como valores 0s e 1s entre si, obteremos uma
equação igualmente válida.

Os Teoremas 2 a 9 estão listados em pares Duais.

Envolvendo duas ou três variáveis:

10 A + (A . B) = A

11 A . (A + B) = A

12 (A . B) + (A . B') = A

13 (A + B) . (A + B') = A

14 A + (A' . B) = A + B

15 A . (A' + B) = A . B

16 A + (B . C) = (A + B) . (A + C)

17 A . (B + C) = (A . B) + (A . C)

18 (A . B) + (A' . C) = (A + C) . (A' + B)

19 (A + B) . (A' + C) = (A . C) + (A' . B)

20 (A . B) + (A' . C) + (B . C) = (A . B) + (A' . C)

21 (A + B) . (A' + C) . (B + C) = (A + B) . (A' + C)

Teoremas de De Morgan

Augustus De Morgan, (born June 27, 1806, Madura, India — died March 18, 1871, London,
Eng.), English mathematician and logician whose major contributions to the study of logic
include the formulation of De Morgan’s laws and work leading to the development of the
theory of relations and the rise of modern symbolic, or mathematical, logic.

Fonte: http://www.britannica.com/EBchecked/topic/153815/Augustus-De-Morgan
Disponível em 19 de agosto d 2013.

Augustus De Morgan (1806 - 1871)

http://ecalculo.if.usp.br/historia/imagens/morgan.jpg

Os Teoremas:

(A’. B’) = (A+B)’ (A’+ B’) = (A . B)’

Estes Teoremas são extensíveis para um número maior de variáveis booleanas.

Simplificação de equações lógicas empregando a Álgebra de Boole

Uma equação booleana representa, de forma algébrica, a estrutura de um circuito

digital formado por portas lógicas. A simplificação desta equação, quando possível,
resultará em um circuito digital com um número menor de portas lógicas.

Exemplo 1:
Y=A’B + AB
Y=B(A’+A)
Y=B.1
Y=B

Exemplo 2 :
Y=AB’C’+ A’BC’ + AB’C + A’B’C’
Y=AB’(C’+C) + A’C’(B+B’)
Y=AB’ + A’C’

Exercício 1

Empregando a Álgebra de Boole simplifique a seguinte equação:

Y= A’B’C’ + AB’C’ + ABC’ + A’B’C + A’BC + ABC

Empregando os Teoremas de De Morgan prove que:

A + A’B = A+B