ÁLGEBRA DE BOOLE

Por: Delirose Ramos

Maio/2011

Álgebra de Boole ou álgebra Booleana pode ser definida como um conjunto

de operadores e axiomas que podem ser assumidos como verdadeiros sem
necessidade de prova.
Nesses sistemas os circuitos só podem assumir dois valores pré-
determinados, 0 e 1, ou falso e verdadeiro. Por essa razão, as tabelas que
descrevem uma função booleana também são denominadas de tabela
verdade e nela são listadas todas as combinações de valores possíveis que
as variáveis de entrada podem assumir, assim como os respectivos valores
de saída das funções.

• Função E (AND): operação que resulta em 1 se todas as entradas

estiverem em 1.

TABELA VERDADE DA FUNÇÃO AND

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

• Função OU (OR): operação que resulta em 1 se pelo menos uma

das entradas estiver em 1.

TABELA VERDADE DA FUNÇÃO OR

A B Y
0 0 0
0 1 1
1 0 1
1 1 1
• Função OU exclusivo (XOR): retorna valor de saída verdadeiro
sempre que as entradas tiverem valores diferentes.

TABELA VERDADE DA FUNÇÃO XOR

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

• Função NÃO (NOT): também conhecida como função de negação,

inverte o valor de entrada, ou seja, se a entrada estiver em 1, o valor
de saída será 0, e se a entrada estiver em 0, o valor de saída será 1.

TABELA VERDADE DA FUNÇÃO NOT

A Y
0 1
1 0

• Função NÃO E (NAND): corresponde à negação da função AND.

TABELA VERDADE DA FUNÇÃO NAND

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

• Função NÃO OU (NOR): corresponde à negação da função OR

 TABELA VERDADE DA FUNÇÃO NOR
A B Y
0 0 1
0 1 0
1 0 0
1 1 0

• Função NÃO OU exclusivo (XNOR): corresponde à negação da

função XOR.

TABELA VERDADE DA FUNÇÃO XNOR

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

TABELA RESUMO

EQUAÇÃO
FUNÇÃO SÍMBOLO GRÁFICO
BOOLEANA

AND Y=A•B

OR Y=A+B
 XOR Y = A (+) B

_
NOT
Y=A

___
NAND
Y = AB

_____
NOR
Y=A+B

______
XNOR
Y = A (+) B

PROPRIEDADES LÓGICAS

• Comutativa

A•B=B•A
A+B=B+A

• Associativa

A (BC) = (AB) C
A + (B + C) = (A + B) + C

• Distributiva

A (B + C) = AB + AC
TEOREMA I DE MORGAN
___________ _ _ _ _
A + B + ... + N = A • B • ... • N

TEOREMA II DE MORGAN
__________ _ _ _ _
A • B • ... • N = A + B + ... + N