Question

Using a truth table, prove or disprove the following:

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

Answer 1

since truth values for statements are equal, it is proved ~[(~p∧q)↔ r]≡ ~(p∨~q)↔ ~r