Question

Simplificar : [(q➡️p)➡️(r v -p)] ^ (p^-r)

Answer 1

Respuesta:

Lógica Proposicional

[(q→p)→(r v -p)] ∧ (p ∧ r)

por le de la condicional

[-(q→p) v (r v -p)] ∧ (pvr)

[-(-q v p ) v (r v -p) ] ∧ (pvr)

por morgan

[(q∧-p) v r v-p ] ∧ (pvr)

acomodando

[((q∧-p) v -p) v r] ∧ (pvr)

por absorción

[ -p v r] ∧ ( p v r)

abstrayendo ( v r)

r v ( p ∧ -p)

obs: (p∧-p) ≡ F

luego

r v  F

    r

Saludos