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.