Question

Simplifica: [q^(q-> ~p)] ->~(p^q)

Answer 1

Explicación paso a paso:

[q ^ (~q v ~ p)]. -->. ( ~p v ~q)

[(q^~q) v (q^~p)]. --->. (~pv~q)

[Fv(q^~p)]. ---> (~pv~q)

(q^~p)--->(~pv~q)

~(q^~p) v (~pv~q)

(~qvp)v (~pv~q)

(~qv~q)v(pv~p)

~qv V

V