Question

Using a truth table, prove or disprove the following:

~[(~p∧q)↔ r]≡ ~(p∨~q)↔ ~r

Answer 1

Solution:

~[(~p∧q)↔ r]

~(p∨~q)↔ ~r

Thus, they are equivalent. Proved.