Acadêmico: Rafael Augusto da Silva RA:22292830-5

Curso: Análise e desenvolvimento de sistemas

Disciplina: Lógica para Programação
Valor da atividade: Prazo:
2,0 23/09/2022

RESPOSTA:

I) Levando em consideração as duas expressões citadas acima é possível dizer

que elas são equivalentes? Demonstre seus cálculos e resultado.

Resposta:

Para realizar se as duas expressões são equivalentes é necessário montar a

tabela verdade e analisar se ambas possuem o mesmo resultado na última
coluna.

Como as expressões possuem 3 proposições, precisamos montar uma tabela

verdade com 23 resultando em uma tabela verdade com 8 linhas.

Para a primeira expressão temos a seguinte tabela verdade

p q r (p V q) (p V r) (p V q) Ʌ (p V r)
1 1 1 1 1 1
1 1 0 1 1 1
1 0 1 1 1 1
1 0 0 1 1 1
0 1 1 1 1 1
0 1 0 1 0 0
0 0 1 0 1 0
0 0 0 0 0 0
Para segunda expressão ser equivalente a primeira expressão, o resultado da
última coluna deve ser o mesmo para ambas as tabelas verdades. Para isso,
vamos montar a tabela verdade para a expressão II.

p q r (q Ʌ r) p V (q Ʌ r)
1 1 1 1 1
1 1 0 0 1
1 0 1 0 1
1 0 0 0 1
0 1 1 1 1
0 1 0 0 0
0 0 1 0 0
0 0 0 0 0

Analisando a última coluna para as duas tabelas, chegamos aos mesmos

resultados, indicando que a expressão (p V q) Ʌ (p V r) é equivalente a pV (q Ʌ r).

II) Além das equivalências das expressões, o programador se deparou com um

circuito lógico cuja expressão era desconhecida. Qual é a expressão lógica
resultante do circuito a seguir?

p q
p

p q

A primeira parte da resolução é trabalhar com a primeira linha que está em

série transformando em uma única expressão e representando o circuito de
uma outra maneira. Se está em série podemos utilizar o conectivo de
conjunção, resultando em (p Ʌ q).
 pɅq
p

p q

Depois desse novo rearranjo, iremos para a parte inferior do circuito em que
podemos substituir o circuito em serie, utilizando o conectivo de conjunção,
resultando expressão lógica (p Ʌ q) e depois podemos resolver o circuito em
paralelo utilizando o conectivo de disjunção resultando na expressão logica
(p Ʌ q) V q como representado no circuito abaixo.

(p Ʌ q)

(p Ʌ q) V q

Após simplificar a parte inferior do circuito, podemos realizar a simplificação

dos dois circuitos que estão em paralelo, empregando o conectivo de disjunção
e resultando na seguinte expressão lógica (p Ʌ q) V ((p Ʌ q) V q), resultando
no seguinte circuito.

p
(p Ʌ q) V ((p Ʌ q) V q)

Por fim, podemos escrever a expressão lógica para o circuito aplicando o

conectivo de conjunção e a expressão lógica final para o circuito é:
[(p Ʌ q) V ((p Ʌ q) V q)] Ʌ p