Hi,

Is this the right way to show that (~(p V q) => r) is logically equivalent to (p V q) V r.

(~(p V q) => r)

<==> (~~(p V q) V r) Implication Laws.

<==> (p V q) V r Double Negation.

Can someone check it for me and prehaps correct me?

Thanks for help.