INTRODUO

lgebra
Define um conjunto e as

operaes que podem ser realizadas sobre este conjunto. Exemplo lgebra linear, lgebra intervalar, lgebra vetorial, lgebra de Boole ou lgebra booleana dentre outras. Registros de estruturas algbricas datam do primeiro milnio a.c.

George Simon Boole (1815-1864)

O criador da lgebra dos circuitos digitais

1- A lgebra de Boole aplicvel ao projeto dos circuitos lgicos e funciona baseada em princpios da lgica formal, uma rea de estudo da filosofia. 2- Um dos pioneiros no estudo da lgica formal foi Aristteles (384322 AC), que publicou um tratado sobre o tema denominado "De Interpretatione". 3- Boole percebeu que poderia estabelecer um conjunto de smbolos matemticos para substituir certas afirmativas da lgica formal. Publicou suas concluses em 1854 no trabalho Uma Anlise Matemtica da Lgica 4- Claude B. Shannon mostrou (em sua tese de mestrado no MIT) que o trabalho de Boole poderia ser utilizado para descrever a operao de sistemas de comutao telefnica. As observaes de Shannon foram divulgadas em 1938 no trabalho "Uma Anlise Simblica de Rels e Circuitos de Comutao".

 Definio da lgebra de Boole: 1- A lgebra de Boole um sistema matemtico composto por operadores, regras, postulados e teoremas. 2- A lgebra booleana usa funes e variveis, como na lgebra convencional, que podem assumir apenas um dentre dois valores, zero (0) ou um (1). 3- A lgebra booleana trabalha com dois operadores binrios, o operador AND, simbolizado por (.) e o operador OR, simbolizado por (+), e um operador unrio NOT (~). O operador AND conhecido como produto lgico e o operador OR conhecido como soma lgica e o operador NOT como complemento. Os mesmos correspondem, respectivamente, s operaes de interseo e unio da teoria dos conjuntos.

NO (NOT)
~1 = 0 ~0 = 1

EXPRESSO BOOLEANA
Y=A

OU (OR)
0+0=0 0+1=1 1+0=1 1+1=1

EXPRESSO BOOLEANA
Y=A+B

E (AND)
0.0=0 0.1=0 1.0=0 1.1=1

EXPRESSO BOOLEANA
Y=A.B

A B Y 0 0 1

A B Y 0 0 0 1 1 0

A B Y 0 0 1 0 1 0 1 0 1

A B Y 0 0 1 1 0 1 0 1 1 0 1 1

SOMA DO PRODUTO
A B C Y Y 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0

A B Y 0 0 1 1 0 1 0 1 0 1 1 0

OU-EXCLUSIVO (XOR)
EXPRESSO BOOLEANA:

A B Y 0 0 1 1 0 1 0 1 1 0 0 1

OU-NO EXCLUSIVO (XNOR) EXPRESSO BOOLEANA:

A
0 1

B
1 1

Y
1 1

A
0 1

B
0 0

Y
0 1

A
0 1

B
0 1

Y
0 1

A 0 1

B 0 1 0

Y 0 1 1

A 0 1

B 1 1

Y 0 1 1

A 0 1

B 0 0

Y 0 0

A 0 1

B 0 1

Y 0 1

A 0 1

B 0 1 0

Y 0 0

A 0

B 0

Y 1

A 0

B 0

Y 1

A 0

B 0

Y 1

A 0

B 0

Y 1

0 1 1

1 0 1

0 0 0

0 1 1

1 0 1

0 0 0

0 1 1

1 0 1

1 1 0

0 1 1

1 0 1

1 1 0

DISTRIBUTIVA
ASSOCIATIVA

COMUTATIVA

DISTRIBUTIVA

DEMORGAN

DISTRIBUTIVA

DISTRIBUTIVA

0 0 0
0 1 1 1 1

0 0 1
1 0 0 1 1

0 1 0
1 0 1 0 1

0 1 1
1 1 0 0 0