Álgebra de boole - udesc - cct · Álgebra de boole Álgebra booleana ou Álgebra de boole...

29
Álgebra de Boole Este material é uma adaptação das notas de aula dos professores Edino Fernandes, Juliano Maia, Ricardo Martins e Luciana Guedes

Upload: lediep

Post on 20-Jan-2019

298 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Álgebra de Boole

Este material é uma adaptação das notas de aula dos professores Edino

Fernandes, Juliano Maia, Ricardo Martins e Luciana Guedes

Page 2: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Álgebra de Boole

Álgebra Booleana ou Álgebra de Boole

Conjunto de operadores e um conjunto de axiomas,

que são assumidos verdadeiros sem necessidade de

prova.

1854 - George Boole introduziu o formalismo que até

hoje se usa para o tratamento sistemático da lógica.

1938, C. E. Shannon mostrou que as propriedades

de circuitos elétricos de chaveamento podem ser

representadas por uma álgebra Booleana com dois

valores.

Page 3: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Álgebra de Boole

A lógica booleana é a base dos sistemas binários.

Usando um sistema de equações booleanas é possível

representar qualquer algoritmo ou qualquer circuito

eletrônico do computador.

Page 4: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Álgebra de Boole

Variáveis Booleanas só podem assumir um número finito

de valores.

Na álgebra Booleana de dois valores, cada variável pode

assumir um dentre dois valores possíveis

falso ou verdadeiro

high and low

0 ou 1

Podemos descrever completamente as funções

Booleanas utilizando tabelas (tabela verdade), e nela

são listadas todas as combinações de valores que as

variáveis de entrada podem assumir e os

correspondentes valores da função (saídas).

Page 5: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Operações Básicas

Na álgebra Booleana, existem três operações ou funções

básicas.

operação OU,

operação E e

complementação.

Todas as outras funções Booleanas podem ser

representadas em termos destas operações básicas.

Page 6: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Operações Básicas

Operação OU (Adição Lógica)

Uma definição para a operação OU, que também é

denominada adição lógica, é:

“A operação OU resulta 1 se pelo menos uma das variáveis de

entrada vale 1”.

Assim, pode-se dizer que a operação OU resulta 0

somente quando todas as variáveis de entrada valem 0.

Podemos representar a operação OU é por “+”.

Não se trata da adição algébrica, mas sim da adição lógica.

Page 7: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Operações Básicas

Listando as possibilidades de combinações entre dois

valores Booleanos e os respectivos resultados para a

operação OU, tem-se:

0 + 0 = 0

0 + 1 = 1

1 + 0 = 1

1 + 1 = 1

A operação OU só pode ser definida se houver, pelo

menos, duas variáveis envolvidas. (operador binário).

Page 8: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Operações Básicas

Adotamos uma letra para designar uma variável

Booleana. Com isso, já se sabe que aquela variável

pode assumir ou o valor 0 ou o valor 1.

Supondo que queiramos demonstrar o comportamento

da equação A+B (lê-se A ou B) utilizando uma tabela

verdade temos

A B A+B

0 0 0

0 1 1

1 0 1

1 1 1

Page 9: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Operações Básicas

Da mesma forma, podemos mostrar o comportamento da

equação A+B+C por meio de uma tabela verdade.

Trata-se da operação OU sobre três variáveis. Logo, pode-se

aplicar diretamente a definição da operação OU: o resultado

será 1 se pelo menos uma das variáveis de entrada valer 1.

A B C A+B+C

0 0 0 0

0 0 1 1

0 1 0 1

0 1 1 1

1 0 0 1

1 0 1 1

1 1 0 1

1 1 1 1

Page 10: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Operações Básicas

Operação E (Multiplicação Lógica)

Também binária, a operação E, ou multiplicação lógica,

pode ser definida da seguinte forma:

“A operação E resulta 0 se pelo menos uma das variáveis

de entrada vale 0”.

Assim, o resultado da operação E será 1 se, e somente

se, todas as entradas valerem 1.

O símbolo usualmente utilizado na operação E é “ ∙ ”.

0 ∙ 0 =0

0 ∙ 1 =0

1 ∙ 0 =0

1 ∙ 1 =1

Page 11: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Operações Básicas

Tabela verdade

A B A ∙ B

0 0 0

0 1 0

1 0 0

1 1 1

Page 12: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Operações Básicas

Complementação (Negação ou Inversão)

É a operação cujo resultado é simplesmente o valor

complementar ao que a variável apresenta.

1 se a variável vale 0

0 se a variável vale 1.

Os símbolos utilizados na operação sobre uma variável A

são:

Ā , ~A e A' (lê-se A negado)

Ō = 1

ῑ = 0

Page 13: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Avaliação de Expressões

Chama-se função booleana uma dada expressão

envolvendo elementos e operações da álgebra de Boole.

Exemplos:

f1 (a,b,c) =a . b +ā . b. c +b. c

f2(A,B,C,D)=Ā.B+Ā.B .C.D+Ā

O comportamento de uma função é descrito pela sua

tabela verdade e este problema é conhecido como

avaliação da função ou da expressão que descreve a

função considerada.

Page 14: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Avaliação de Expressões

Pode-se criar colunas intermediárias na TV para os resultados

de subexpressões.

É necessário seguir a ordem de precedência das operações

A multiplicação (lógica) tem precedência sobre a adição (lógica).

Expressões entre parêntesis têm precedência sobre operadores E e

OU que estejam no mesmo nível.

a complementação, esta deve ser avaliada tão logo seja possível.

Caso aplicada sobre uma subexpressão inteira, é necessário que se

avalie primeiramente a subexpressão.

Page 15: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Avaliação de Expressões

O número de combinações para as variáveis de entrada é 2n,

onde n é o número de variáveis de entrada.

O procedimento para a criação da tabela verdade a partir de

uma equação Booleana é:

1. Criar colunas para as variáveis de entrada e listar todas as

combinações possíveis, utilizando a fórmula no de combinações =

2n (onde n é o número de variáveis de entrada);

2. Criar uma coluna para cada variável de entrada que apareça

complementada na equação e anotar os valores resultantes;

3. Avaliar a equação seguindo a ordem de precedência, a partir

do nível de parêntesis mais internos:

Page 16: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Avaliação de Expressões

Exemplo

W = X + Y . Ū

A variável W representa a função Booleana e temos 3 variáveis

de entrada. O total de combinações entre 3 variáveis será

23=8.

A tabela verdade para W deverá ter 3 colunas à esquerda e 8

linhas.

Cria-se uma coluna, na qual listam-se os valores para Ū.

Cria-se uma coluna para a subexpressão Y . Ū

Utilizam-se os resultados da coluna anterior para operar o OU

com a variável X.

Page 17: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Avaliação de Expressões

X Y U Ū Y . Ū W = X + Y . Ū

0 0 0 1 0 0

0 0 1 0 0 0

0 1 0 1 1 1

0 1 1 0 0 0

1 0 0 1 0 1

1 0 1 0 0 1

1 1 0 1 1 1

1 1 1 0 0 1

Page 18: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Postulados da Álgebra de Boole

Associatividade de + e .

(a + b) + c = a + (b + c)

(a . b) . c = a . (b . c)

Comutatividade de + e .

(a + b) = (b + a)

(a . b) = (b . a)

Page 19: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Postulados da Álgebra de Boole

Adição

A + 0 = A

A + 1 = 1

A + A = A

A + Ā = 1

Multiplicação

A . 0 = 0

A . 1 = A

A . A = A

A . Ā = 0

Page 20: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Postulados da Álgebra de Boole

Distributividade de + sobre .

a + (b . c) = (a + b) . (a + c)

Distributividade de . sobre +

a . (b + c) = (a . b) + (a . c)

Teorema de De Morgan

___ _ _

A . B = A + B

___ _ _

A+B = A . B

Page 21: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Portas Lógicas

Uma função Booleana também pode ser representada

de forma gráfica, e os símbolos usados são conhecidos

por portas lógicas.

As portas lógicas representam recursos físicos, isto é,

circuitos eletrônicos, capazes de realizar as operações

lógicas.

Na eletrônica digital, o nível lógico 0 normalmente está

associado à ausência de tensão (0 volt) enquanto o nível

lógico 1, à presença de tensão (a qual geralmente é 5

volts).

O conjunto de portas lógicas e respectivas conexões que

simbolizam uma equação Booleana, denominaremos

circuito lógico.

Page 22: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Portas Lógicas

Portas OU e E

As entradas são colocadas à esquerda e a saída, à direita.

Deve haver no mínimo duas entradas, mas há somente uma

saída.

As linhas que conduzem as variáveis de entrada e saída

podem ser interpretadas como fios que transportam os sinais

elétricos associados às variáveis

Page 23: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Portas Lógicas

Porta Inversora

Como a operação complementação só pode ser

realizada sobre uma variável por vez (ou sobre o

resultado de uma subexpressão), o inversor só possui

uma entrada e uma saída.

A Ā

Page 24: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Circuitos Lógicos

Dada uma equação Booleana qualquer, é possível

desenhar-se o circuito lógico que a implementa.

Por exemplo W = X + Y . Ū

Inicialmente, identificamos as variáveis: X, Y e U.

Para cada uma , traçamos uma linha representando os fios

que conduzem os valores.

Desenhamos as portas necessárias para representar cada

uma das subexpressões, na mesma ordem tomada para a

avaliação, ou seja:

1o parêntesis (dos mais internos para os mais externos);

2o operações E;

3o operações OU.

Page 25: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Circuitos Lógicos

W = X + Y . Ū

X

Y W

U

Page 26: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Faça as tabelas-verdade para as expressões:

f1 (a,b,c) = a . b +ā . b. c +b. c

f2(A,B,C,D) = Ā.B+Ā.B .C.D+Ā

f3 (a,b,c,d) = a . (a + b . d . c)

Page 27: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

A B C A+B+C A.B.C (A’.B)+C

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1

Page 28: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

a b c d d c b d c a + b. d . c f (a,b,c,d)

0 0 0 0 1 1 0 0 0

0 0 0 1 0 1 0 0 0

0 0 1 0 1 0 0 0 0

0 0 1 1 0 0 0 0 0

0 1 0 0 1 1 1 1 0

0 1 0 1 0 1 0 0 0

0 1 1 0 1 0 0 0 0

0 1 1 1 0 0 0 0 0

1 0 0 0 1 1 0 1 1

1 0 0 1 0 1 0 1 1

1 0 1 0 1 0 0 1 1

1 0 1 1 0 0 0 1 1

1 1 0 0 1 1 1 1 1

1 1 0 1 0 1 0 1 1

1 1 1 0 1 0 0 1 1

1 1 1 1 0 0 0 1 1

Page 29: Álgebra de Boole - UDESC - CCT · Álgebra de Boole Álgebra Booleana ou Álgebra de Boole Conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade

Bibliografia:

LOURENÇO, Antônio Carlos de.. Sistemas Numéricos e

Álgebra Booleana. Editora Érica. MENDELSON, Elliot..

Álgebra Booleana e Circuitos de Clareamento. Makron

Books. MELO, M. Eletrônica Digital. Makron Books.