INTRODUÇÃO AOS SISTEMAS LÓGICOS
Transcript of INTRODUÇÃO AOS SISTEMAS LÓGICOS
![Page 1: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/1.jpg)
INTRODUÇÃO AOS
SISTEMAS LÓGICOS
SISTEMAS LÓGICOS
PROF. ANDRÉ MONTEVECCHI
PROFA. ANNA TOSTES
24/10/2011
Prof. André Montevecchi / Profa. Anna Tostes 1
![Page 2: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/2.jpg)
SUMÁRIO
• Àlgebra de Proposições
• Operadores Lógicos
• Expressões e Equações Lógicas
• Circuito Lógico
• Propriedades da Álgebra Booleana
• Simplificação de Expressões Lógicas
24/10/2011
Prof. André Montevecchi / Profa. Anna Tostes
2
![Page 3: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/3.jpg)
ÁLGEBRA DE PROPOSIÇÕES
Proposição é o enunciado de uma verdade que se
quer demonstrar
Toda proposição é uma frase mas nem toda frase é
uma proposição
![Page 4: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/4.jpg)
ÁLGEBRA DE BOOLE
Proposta por George Boole em 1854
Álgebra ordinária dos reais:
• Variáveis podem assumir valores no intervalo
(-∞;+∞)
Álgebra de Boole:
• Variáveis booleanas só podem assumir um
número finito de valores (dois, verdadeiro ou
falso)
![Page 5: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/5.jpg)
ÁLGEBRA DE BOOLE
É conhecida por álgebra de proposições
Uma frase é uma proposição apenas quando
admite um dos dois valores lógicos:
• Falso (0)
• Verdadeiro (1)
• Mas nunca ambas ao mesmo tempo
![Page 6: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/6.jpg)
ÁLGEBRA DE PROPOSIÇÕES
Frases que não são proposições
• Pare!
• Quer uma xícara de café?
• Eu não estou bem certo se esta cor me
agrada
![Page 7: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/7.jpg)
ÁLGEBRA DE PROPOSIÇÕES
Frases que são proposições
• A lua é o único satélite do planeta terra (Verdadeiro)
• A cidade de Salvador é a capital do estado do Amazonas (Falso)
• O numero 712 é ímpar (Falso)
• Raiz quadrada de dois é um número irracional (Verdadeiro)
• 10 > 23 (Verdadeiro)
![Page 8: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/8.jpg)
OPERADORES LÓGICOS
Construir novas proposições a partir de
proposições já existentes
Principais operadores lógicos:
• Conjunção
• Disjunção
• Negação
![Page 9: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/9.jpg)
CONJUNÇÃO
Considere duas proposições (p e q)
Se p e q forem verdadeiras (1)
• Então a conjunção de ambas será
verdadeira (1)
Se uma das duas for falsa (0)
• Então a conjunção (s) também será falsa
(0)
![Page 10: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/10.jpg)
CONJUNÇÃO
Intervalo fechado de 1 a 5:
1 ≤ x ≤ 5
= 1 ≤ x E x ≤ 5
1 5
![Page 11: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/11.jpg)
CONJUNÇÃO
P Q P AND Q
Falso Falso Falso
Falso Verdadeiro Falso
Verdadeiro Falso Falso
Verdadeiro Verdadeiro Verdadeiro
![Page 12: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/12.jpg)
CONJUNÇÃO
P Q P AND Q
0 0 0
0 1 0
1 0 0
1 1 1
![Page 13: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/13.jpg)
CONJUNÇÃO
Notação: X • Y = X e Y
A porta AND ( E ) implementa essa relação
• Pode ter duas (p, q) ou mais entradas
• A saída (s) assumirá o valor
• 1 se, e somente se, todas as entradas
forem iguais a 1
• Caso uma, ou mais entradas sejam
iguais a 0, a saída terá valor 0
![Page 14: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/14.jpg)
CONJUNÇÃO
A porta AND ( E ):
![Page 15: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/15.jpg)
CONJUNÇÃO
![Page 16: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/16.jpg)
CONJUNÇÃO
![Page 17: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/17.jpg)
CONJUNÇÃO
![Page 18: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/18.jpg)
CONJUNÇÃO
![Page 19: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/19.jpg)
DISJUNÇÃO
Considere duas proposições (p e q)
Se p e q forem falsas (0)
• Então a disjunção de ambas (s) será falsa
Se uma delas for verdadeira (1)
• Então a disjunção também será
![Page 20: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/20.jpg)
DISJUNÇÃO
Intervalo aberto: menor que 1 e maior que 5
1 > x > 5
= 1 > x OU x > 5
1 5
![Page 21: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/21.jpg)
DISJUNÇÃO
P Q P AND Q
Falso Falso Falso
Falso Verdadeiro Verdadeiro
Verdadeiro Falso Verdadeiro
Verdadeiro Verdadeiro Verdadeiro
![Page 22: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/22.jpg)
DISJUNÇÃO
P Q P AND Q
0 0 0
0 1 1
1 0 1
1 1 1
![Page 23: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/23.jpg)
DISJUNÇÃO
Notação: X + Y = X ou Y
A porta OR ( OU ) implementa essa relação
• Pode ter duas (p, q) ou mais entradas
• A saída (s) assumirá o valor
• 0 se, e somente se, todas as entradas
forem iguais a 0
• Caso uma, ou mais entradas forem
iguais a 1, a saída terá valor 1
![Page 24: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/24.jpg)
DISJUNÇÃO
A porta OR ( OU ):
![Page 25: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/25.jpg)
DISJUNÇÃO
![Page 26: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/26.jpg)
DISJUNÇÃO
![Page 27: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/27.jpg)
DISJUNÇÃO
![Page 28: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/28.jpg)
DISJUNÇÃO
![Page 29: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/29.jpg)
NEGAÇÃO
Considere uma proposição p
Se p for falsa (0)
• Então a negação será verdadeira (1) Se p for verdadeira (1)
• Então a negação será falsa (0)
Também chamada de complementação ou inversão
![Page 30: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/30.jpg)
P Q
Falso Verdadeiro
Verdadeiro Falso
NEGAÇÃO
![Page 31: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/31.jpg)
NEGAÇÃO
P Q
0 1
1 0
![Page 32: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/32.jpg)
NEGAÇÃO
Notação: x’ = não (x)
A porta NOT (NÃO) implementa essa relação
• Também é chamada de INVERTER
(INVERSOR)
• Só tem uma entrada (p)
• A saída assumirá o valor
• 1, se a entrada for igual a 0
• 0, se a entrada for igual a 1
![Page 33: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/33.jpg)
NEGAÇÃO
A porta NOT (NÃO):
![Page 34: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/34.jpg)
NEGAÇÃO
![Page 35: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/35.jpg)
NEGAÇÃO
![Page 36: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/36.jpg)
EXPRESSÕES LÓGICAS
Feita com a combinação dos operadores lógicos
AND, OR, NOT
Exemplo: suponha x, y, z variáveis lógicas
x’ + y z
z + (x + y)’
(x y’)’ + z
![Page 37: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/37.jpg)
EXPRESSÕES LÓGICAS
Prioridade de Conectivos
• A ordem de avaliação de uma expressão,
envolvendo conectivos lógicos, será da
esquerda para a direita
• Deve-se respeitar as prioridades dos
conectivos, sendo a primeira a mais alta: • (1) NÃO, (2) E, (3) OU
• Pode-se mudar a ordem de avaliação por
meio de parênteses
![Page 38: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/38.jpg)
EXPRESSÕES LÓGICAS
Prioridade de Conectivos
• Considere a expressão:
x + y' • z
• A sua avaliação será feita na seguinte
ordem de prioridade: • Negação de (y): y’
• Conjunção com (z): y' • z
• Disjunção com (x): (y' • z) + x
![Page 39: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/39.jpg)
EXPRESSÕES LÓGICAS
Para verificar o resultado da expressão, pode-se
criar a tabela-verdade
O resultado final depende dos valores de entrada
das variáveis lógicas
![Page 40: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/40.jpg)
EXPRESSÕES LÓGICAS
TABELA-VERDADE
• 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 (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 41: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/41.jpg)
EXPRESSÕES
LÓGICAS
• EXEMPLO: TABELA VERDADE DE Y + Z + X’
x y z y + z x' y + z + x’
0 0 0 0 1 1
0 0 1 1 1 1
0 1 0 1 1 1
0 1 1 1 1 1
1 0 0 0 0 0
1 0 1 1 0 1
1 1 0 1 0 1
1 1 1 1 0 1
![Page 42: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/42.jpg)
EXPRESSÕES LÓGICAS
Qual seria a tabela-verdade para as expressões
abaixo:
① x + y' • z
② z + (x + y)’
③ (x y’)’ + z
![Page 43: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/43.jpg)
EXPRESSÕES LÓGICAS
Tabela-verdade: (y’ • z) + x
![Page 44: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/44.jpg)
EQUAÇÕES LÓGICAS OU
BOOLEANA
Quando atribuímos uma expressão lógica a uma
variável lógica, temos uma equação lógica
(booleana)
Exemplo:
• S = X + (Y’ Z) X
![Page 45: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/45.jpg)
CIRCUITO LÓGICO
Conjunto de portas lógicas e respectivas conexões
que simbolizam uma equação booleana
São formados pelas portas lógicas já apresentadas
• Existem outras portas lógicas além de AND,
OR e NOT que serão vistas mais para
frente • Exemplo: NOR, NAND, XOR, XNOR
![Page 46: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/46.jpg)
CIRCUITO LÓGICO
NOT
AND
OR
![Page 47: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/47.jpg)
CIRCUITO LÓGICO
Nos circuitos lógicos do computador, os sinais
binários são representados por níveis de tensão
• É utilizada a álgebra de boole
É considerado como uma caixa preta
• O conteúdo implementa um tipo de porta ou
uma combinação das mesmas
![Page 48: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/48.jpg)
CIRCUITO LÓGICO
CAIXA PRETA
![Page 49: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/49.jpg)
CIRCUITO LÓGICO
![Page 50: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/50.jpg)
CIRCUITO LÓGICO
1
1
0 = 1
0
0
![Page 51: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/51.jpg)
CIRCUITO LÓGICO
1
1
0 = 1
CAIXA PRETA
![Page 52: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/52.jpg)
CIRCUITO LÓGICO
Instruções para criação do circuito
1. Identificar as variáveis independentes da expressão
2. Para cada uma destas, traçamos uma linha (da esquerda para a direita), representando os fios que conduzem os valores
3. Desenhar as portas necessárias para representar cada uma das sub-expressões, na mesma ordem tomada para a avaliação: ( ), NOT, AND, OR
![Page 53: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/53.jpg)
CIRCUITO LÓGICO
Equação: s = x + y' • z
![Page 54: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/54.jpg)
CIRCUITO LÓGICO
Equação: s = x + y' • z
![Page 55: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/55.jpg)
CIRCUITO LÓGICO
Equação: s = x + y' • z
![Page 56: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/56.jpg)
CIRCUITO LÓGICO
Se fosse desejado que a operação de disjunção
ocorresse antes da conjunção, seria necessário o uso
de parênteses
• Notação:
S = ( x + y' ) • z
• Seria o mesmo circuito?
![Page 57: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/57.jpg)
CIRCUITO LÓGICO
Se fosse desejado negar toda a expressão,
também se usaria parênteses, e essa ação seria a
última a ser avaliada.
• Notação:
S = ( x + y' • z )’
• Seria o mesmo circuito?
![Page 58: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/58.jpg)
CIRCUITO LÓGICO
Para simplificar os circuitos lógicos, são utilizadas
propriedades da álgebra booleana
Vantagem:
• Menor custo
• Maior eficiência
![Page 59: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/59.jpg)
PROPRIEDADES DA ÁLGEBRA
BOOLEANA
![Page 60: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/60.jpg)
PROPRIEDADES DA ÁLGEBRA
BOOLEANA
Absorção: prova
p + (p’ • q) = (p + q) - distributiva
(p + p’) • (p + q) = (p + q) - tautologia
1 • (p + q) = (p + q) - identidade
(p + q) = (p + q)
![Page 61: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/61.jpg)
SIMPLIFICAÇÃO DE
EXPRESSÕES
Aplicar repetidamente as propriedades da álgebra
booleana
• Até que não possa mais ser simplificada
• Ou até que a expressão utilize a menor
quantidade de portas possíveis (operadores
lógicos)
![Page 62: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/62.jpg)
SIMPLIFICAÇÃO DE
EXPRESSÕES
1. Simplifique a expressão booleana: A . (A + B)
A . (A + B) = A . A + A . B (distributiva) = A + A . B (idempotência)
= A . 1 + A . B (identidade)
= A . (1 + B) (distributiva)
= A . 1 (identidade)
= A
![Page 63: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/63.jpg)
SIMPLIFICAÇÃO DE
EXPRESSÕES
2. Prove que: A . (A + B) = A
A . (A + B) = A . A + A . B (distributiva) = A + A . B (idempotência)
= A . 1 + A . B (identidade)
= A . (1 + B) (distributiva)
= A . 1 (identidade)
= A
(c.q.d)
![Page 64: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/64.jpg)
EXERCÍCIO
24/10/2011
Prof. André Montevecchi / Profa. Anna Tostes
68
![Page 65: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/65.jpg)
EXERCÍCIOS
![Page 66: INTRODUÇÃO AOS SISTEMAS LÓGICOS](https://reader035.fdocumentos.com/reader035/viewer/2022071214/62cb72324ca4b50f185cc4e4/html5/thumbnails/66.jpg)
EXERCÍCIOS