Answer to Question #263903 in Discrete Mathematics for Lian

Question

Using a truth table, prove or disprove the following:

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

Answer 1

~[(~p∧q)↔ r]

~(p∨~q)↔ ~r

Thus, they are equivalent. Proved.