Algebra Boole Ms Power Point

Álgebra
de Boole
IEFP VILA REAL | CET TEPSI 2021
TRABALHO MATEMÁTICA = DANIELA ∨ n.º 00 ∧ DIOGO ∨ n.º 00 ∧ INÊS ∨ n.º 5 ∧ PEDRO ∨ n.º 12
GEORGE
BOOLE
BIO
BIOGRAFIA
1...
2...
3...
4...
georgeboole.com
IEFP VILA REAL | CET EM TECNOLOGIAS E PROGRAMAÇÃO DE SISTEMAS DE INFORMAÇÃO | 2021 | MATEMÁTICA
DEFINIÇÃO
ÁLGEBRA
DE BOOLE
ENQUANTO A ÁLGEBRA TRADICIONAL OPERA COM RELAÇÕES QUANTITATIVAS,

A ÁLGEBRA DE BOOLE OPERA COM RELAÇÕES LÓGICAS.
AS VARIÁVEIS SÃO BINÁRIAS – VERDADEIRO OU FALSO, REPRESENTADAS POR 0 E 1.
AQUI 0 E 1 NÃO EXPRIMEM QUANTIDADES MAS ESTADOS DAS VARIÁVEIS.
FUNÇÕES
=
IGUALDADE a s
s=a
0 0
1 1
¬
NEGAÇÃO ¬a s
s = ¬a
1 0
0 1
OR
a+b a b a∨b
a OR b
0 0 0
0 1 1
a∨b 1
1
0
1
1
AND
axb a b a∧b
a AND b
0 0 0
0 1 0
a∧b
1 0 0
1 1 1
NAND
NEGAÇÃO AND a b a∧b ¬(a ∧ b)
a NAND b
0 0 0 1
0 1 0 1
¬(a∧ b) 1
1
0
1
0
1
1
NOR
NEGAÇÃO OR a b a∨b ¬(a ∨ b)
a NOR b
0 0 0 1
0 1 1 0
¬(a ∨ b) 1
1
0
1
1
1
0
XOR
EXCLUSIVE OR a b a⊕b
0 0 0
0 1 1
a⊕b 1 0 1
1 1 0
0 SE O NÚMERO DE 1 É PAR
1 SE O NÚMERO DE 1 É IMPAR
LEIS
ELEMENTO
ABORVENTE
LEI DO ELEMENTO ABSORVENTE PARA A SOMA LÓGICA

a∨1=1
LEI DO ELEMENTO ABSORVENTE PARA A MULTIPLICAÇÃO LÓGICA
a∧0= 0
DISTRIBUTIVA
IDENTIDADE
LEI DA IDENTIDADE PARA A SOMA LÓGICA

a∨0=a
LEI DA IDENTIDADE PARA A MULTIPLICAÇÃO LÓGICA
a∧1= a
DISTRIBUTIVA
COMPLEMENTO
LEI DO COMPLEMENTO PARA A SOMA LÓGICA

a ∨ ¬a = 1
LEI DO COMPLEMENTO PARA A MULTIPLICAÇÃO LÓGICA
a ∧ ¬a = 0
DISTRIBUTIVA
IDEMPOTÊNCIA
LEI DA IDEMPOTÊNCIA
a∨a=a
a∧a=a
DISTRIBUTIVA
INVOLUÇÃO
LEI DA INVOLUÇÃO OU DUPLA NEGAÇÃO
¬(¬a) = a
DISTRIBUTIVA
PROPRIEDADES
DISTRIBUTIVA
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
DISTRIBUTIVA
a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
a b c b∨c a ∧ (b ∨ c) a∧b a∧c 
(a ∧ b) ∨ (a ∧ c)
0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 1 1 1 0 0 0 0
distributiva
1 0 0 0 0 0 0 0
1 0 1 1 1 0 1 1
1 1 0 1 1 1 0 1
1 1 1 1 1 1 1 1
DISTRIBUTIVA
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
a b c b∧c a ∨ (b ∧ c) a∨b a∨c 
(a ∨ b) ∧ (a ∨ c)
0 0 0 0 0 0 0 0
0 0 1 0 0 0 1 0
0 1 0 0 0 1 0 0
0 1 1 1 1 1 1 1
distributiva
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 0 1 1 1 1
1 1 1 1 1 1 1 1
COMUTATIVA
a b a∨b b∨a
0 0 0 0
a∨b=b∨a 0 1 1 1
1 0 1 1
1 1 1 1
DISTRIBUTIVA
COMUTATIVA
a b a∧b b∧a
0 0 0 0
a∧b=b∧a 0 1 0 0
1 0 0 0
1 1 1 1
DISTRIBUTIVA
ASSOCIATIVA
(a ∨ b) ∨ c = a ∨ (b ∨ c)
(a ∨ b) ∨ c = a ∨ (b ∨ c)
(a ∨ b) ∨ c = a ∨ (b ∨ c)
(a ∨ b) ∨ c = a ∨ (b ∨ c)
a b c a∨b b∨c 
(a ∨ b) ∨ c 
a ∨ (b ∨ c)
0 0 0 0 0 0 0
0 0 1 0 1 1 1
0 1 0 1 1 1 1
0 1 1 1 1 1 1
associativa
1 0 0 1 0 1 1
1 0 1 1 1 1 1
1 1 0 1 1 1 1
1 1 1 1 1 1 1
ASSOCIATIVA
(a ∧ b) ∧ c = a ∧ (b ∧ c)
(a ∧ b) ∧ c = a ∧ (b ∧ c)
(a ∧ b) ∧ c = a ∧ (b ∧ c)
(a ∧ b) ∧ c = a ∧ (b ∧ c)
a b c a∧b b∧c 
(a ∧ b) ∧ c 
a ∧ (b ∧ c)
0 0 0 0 0 0 0
0 0 1 0 0 0 0
0 1 0 0 0 0 0
0 1 1 0 1 0 0
associativa
1 0 0 0 0 0 0
1 0 1 0 0 0 0
1 1 0 1 0 0 0
1 1 1 1 1 1 1
TEOREMAS
ABSORÇÃO
a b a∨b a ∧ (a ∨ b)
0 0 0 0
a ∧ (a ∨ b) = a 0 1 1 0
1 0 1 1
1 1 1 1
ABSORÇÃO
a b a∧b a ∨ (a ∧ b)
0 0 0 0
a ∨ (a ∧ b) = a 0 1 0 0
1 0 0 1
1 1 1 1
IEFP VILA REAL | CET EM TECNOLOGIAS E PROGRAMAÇÃO DE SISTEMAS DE INFORMAÇÃO | 20∧21 | MATEMÁTICA
TEOREMA
DE MORGAN
¬(a ∧ b) = ¬a ∨ ¬b
a b ¬a ¬b a∧b ¬(a ∧ b) ¬a ∨ ¬b
0 0 1 1 0 1 1
0 1 1 0 0 1 1
1 0 0 1 0 1 1
1 1 0 0 1 0 0
TEOREMA
DE MORGAN
¬(a ∨ b) = ¬a ∧ ¬b
a b ¬a ¬b a∨b ¬(a ∨ b) ¬a ∧ ¬b
0 0 1 1 0 1 1
0 1 1 0 1 0 0
1 0 0 1 1 0 0
1 1 0 0 1 0 0
TEOREMA
DE MORGAN
¬(a ∨ b) = ¬a ∧ ¬b
¬(a ∧ b) = ¬a ∨ ¬b
É MUITO ÚTIL NA SIMPLIFICAÇÃO DE OPERAÇÕES COMPLEXAS
PERMITE MUDAR OS OPERADORES OR > AND E AND >OR
TEOREMA
DE MORGAN
¬(a ∨ b) = ¬a ∧ ¬b
¬(a ∨ b) ¬(¬a ∧ ¬b)
¬¬(¬a ∧ ¬b) ¬¬(¬a ∧ ¬b)
(¬a ∧ ¬b) ¬a ∧ ¬b
TEOREMA
DE MORGAN
¬(a ∧ b) = ¬a ∨ ¬b
¬(a ∧ b) ¬(¬a ∨ ¬b)
¬¬(¬a ∨ ¬b) ¬¬(¬a ∨ ¬b)
(¬a ∨ ¬b) ¬a ∨ ¬b
TEOREMA
DE MORGAN
z = ¬(¬a ∧ ¬b) ∨ b
z = ¬(¬a ∧ ¬b) ∨ b DE MORGAN – CONVERTER AND EM OR
z = ¬¬(¬¬a ∨ ¬¬b) ∨ b REMOVER A DUPLA NEGAÇÃO

z=a∨b∨b LEI IDEMPOTÊNCIA: a ∨ a = a
z=a∨b
EXERCÍCIOS
SIMPLIFICAR
EXERCÍCIO 1
z = a ∨ (¬a ∧ b)
z = a ∨ (¬a ∧ b) DISTRIBUITIVA: EXPANDIR
z = (a ∨ ¬a) ∧ (a ∨ b) COMPLEMENTO: a ∨ ¬a = 1
Z = 1 ∧ (a ∨ b) IDENTIDADE: a ∧ 1 = a
z=a∨b
SIMPLIFICAR
EXERCÍCIO 2
z = a ∧ ((a ∨¬a) ∨ ¬b)
SIMPLIFICAR
EXERCÍCIO 2
z = a ∧ ((a ∨¬a) ∨ ¬b)

z = a ∧ ((a ∨¬a) ∨ ¬b) COMPLEMENTO: a ∨ ¬a = 1
z = a ∧ (1 ∨ ¬b) EMENTO ABSORVENTE: a ∨ 1 = 1
z=a∧1 IDENTIDADE: a ∧ 1 = a
z=a
FORMAS
CANÓNICAS
FORMAS
CANÓNICAS
PRIMEIRA FORMA CANÓNICA (DISJUNTIVA)

DE UMA FUNÇÃO BOOLEANA – MINTERMS
SOMA DE TODOS OS PRODUTOS LÓGICOS

QUE DÃO À FUNÇÃO O VALOR 1
FORMAS
CANÓNICAS
SEGUNDA FORMA CANÓNICA (CONJUNTIVA)

DE UMA FUNÇÃO BOOLEANA – MAXTERMS
MULTIPLICAÇÃO DE TODAS AS SOMAS LÓGICAS

QUE DÃO À FUNÇÃO O VALOR 0
FORMAS
CANÓNICAS
a b c f PRIMEIRA FORMA CANÓNICA

0 0 0 1
DISJUNTIVA
0 0 1 0
0 1 0 0
MINTERMS
0 1 1 0
1 0 0 0
f=a·b·c+a·b·c+a·b·c
1 0 1 1
1 1 0 1
1 1 1 0
SOMA DE TODOS OS PRODUTOS LÓGICOS QUE DÃO À FUNÇÃO O VALOR 1
O NÚMERO DE TERMOS É IGUAL AO NÚMERO DE 1 DA FUNÇÃO
PRIMEIRA
CANÓNICA
a b c f PRIMEIRA FORMA CANÓNICA

0 0 0 1
0 0 1 0
0 1 0 0 f=a·b·c+a·b·c+a·b·c
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
AS VARIÁVEIS APARECEM NEGADAS
1 1 1 0
QUANDO O SEU VALOR NA TABELA É DIFERENTE DE 1
SEGUNDA
CANÓNICA
a b c f SEGUNDA FORMA CANÓNICA

0 0 0 1
CONJUNTIVA |MAXTERMS
0 0 1 0
0 1 0 0
0 1 1 0 f = (a+b+c) · (a+b+c)
1
1
0
0
0
1
0
1
· (a+b+c)· (a+b+c) · (a+b+c)
1 1 0 1
1 1 1 0
MULTIPLICAÇÃO DE TODAS AS SOMAS LÓGICAS QUE DÃO À FUNÇÃO O VALOR 0

IEFP VILA REAL | CET EM TECNOLOGIAS E PROGRAMAÇÃO DE SISTEMAS O NÚMERO DE TERMOS É IGUAL
DE INFORMAÇÃO | 2021AO| NÚMERO DE 0
MATEMÁTICA
FORMAS
CANÓNICAS
a b c f SEGUNDA FORMA CANÓNICA

0 0 0 1
0 0 1 0
0 1 0 0 f = (a+b+c) · (a+b+c)
0 1 1 0 · (a+b+c)· (a+b+c) · (a+b+c)
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0 AS VARIÁVEIS APARECEM NEGADAS
QUANDO O SEU VALOR NA TABELA É DIFERENTE DE 0
OBRIGADO

Algebra Boole Ms Power Point

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Algebra Boole Ms Power Point

Enviado por

Direitos autorais:

Formatos disponíveis

Álgebra

ENQUANTO A ÁLGEBRA TRADICIONAL OPERA COM RELAÇÕES QUANTITATIVAS,

AS VARIÁVEIS SÃO BINÁRIAS – VERDADEIRO OU FALSO, REPRESENTADAS POR 0 E 1.

AQUI 0 E 1 NÃO EXPRIMEM QUANTIDADES MAS ESTADOS DAS VARIÁVEIS.

NEGAÇÃO AND a b a∧b ¬(a ∧ b)

NEGAÇÃO OR a b a∨b ¬(a ∨ b)

LEI DO ELEMENTO ABSORVENTE PARA A SOMA LÓGICA

LEI DA IDENTIDADE PARA A SOMA LÓGICA

LEI DO COMPLEMENTO PARA A SOMA LÓGICA

LEI DA INVOLUÇÃO OU DUPLA NEGAÇÃO

PERMITE MUDAR OS OPERADORES OR > AND E AND >OR

z = ¬¬(¬¬a ∨ ¬¬b) ∨ b REMOVER A DUPLA NEGAÇÃO

z = a ∧ ((a ∨¬a) ∨ ¬b)

z = a ∧ ((a ∨¬a) ∨ ¬b)

z = a ∧ (1 ∨ ¬b) EMENTO ABSORVENTE: a ∨ 1 = 1

PRIMEIRA FORMA CANÓNICA (DISJUNTIVA)

SOMA DE TODOS OS PRODUTOS LÓGICOS

SEGUNDA FORMA CANÓNICA (CONJUNTIVA)

MULTIPLICAÇÃO DE TODAS AS SOMAS LÓGICAS

a b c f PRIMEIRA FORMA CANÓNICA

a b c f PRIMEIRA FORMA CANÓNICA

a b c f SEGUNDA FORMA CANÓNICA

MULTIPLICAÇÃO DE TODAS AS SOMAS LÓGICAS QUE DÃO À FUNÇÃO O VALOR 0

a b c f SEGUNDA FORMA CANÓNICA

Você também pode gostar