vivianelima8
Answered

Bem-vindo ao Sistersinspirit.ca, onde suas perguntas são respondidas por especialistas e membros experientes da comunidade. Conecte-se com profissionais prontos para fornecer respostas precisas para suas perguntas em nossa abrangente plataforma de perguntas e respostas. Obtenha respostas detalhadas e precisas para suas perguntas de uma comunidade dedicada de especialistas em nossa 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!

Obrigado por visitar nossa plataforma. Esperamos que tenha encontrado as respostas que procurava. Volte sempre que precisar de mais informações. Obrigado por passar por aqui. Nos esforçamos para fornecer as melhores respostas para todas as suas perguntas. Até a próxima. Sistersinspirit.ca está aqui para fornecer respostas precisas às suas perguntas. Volte em breve para mais informações.