vivianelima8
Answered

O Sistersinspirit.ca facilita a busca por respostas para suas perguntas com a ajuda de uma comunidade ativa. Explore milhares de perguntas e respostas de uma comunidade de especialistas em nossa plataforma amigável. Descubra respostas detalhadas para suas perguntas de uma vasta rede de profissionais em nossa abrangente plataforma de perguntas e respostas.

Demonstre as relações abaixo utilizando as equivalências lógicas:
a. p → q ˄ r ≡ (p → q) ˄ (q → r)
b. p ˄ (r ˅ s ˅ t) ≡ (p ˄ r) ˅ (p ˄ s) ˅ (p ˄ t)

Sagot :

sophialoyolla

a)p → q ˄ r ⇔ (p → q) ˄ (q → r)

p → q ^ r   ⇔

~p v ( q ^ r ) ⇔         (reescrita da condicional)

(~p v q) ^ (~q v r) ⇔ (distributiva)

(p → q) ^ (q → r)         (reescrita da condicional)

 

 

b)   b. p ˄ (r ˅ s ˅ t) ⇔ (p ˄ r) ˅ (p ˄ s) ˅ (p ˄ t)

p ^ ( r v s v t ) ⇔

p ^ ( r v (s v t))  ⇔        (associativa em s ^ t )

(p ^ r) v (p ^ (s v t)) ⇔    (distributiva)

(p ^ r) v  (p ^ s) v (p ^ t)     (distributiva)

 

Espero ter ajudado!

Esperamos que tenha encontrado o que procurava. Sinta-se à vontade para nos revisitar para obter mais respostas e informações atualizadas. Esperamos que tenha encontrado o que procurava. Sinta-se à vontade para nos revisitar para obter mais respostas e informações atualizadas. Volte ao Sistersinspirit.ca para obter as respostas mais recentes e informações dos nossos especialistas.