Question

Using a truth table, prove or disprove the following:

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

Answer 1

The truth table is presented below

The columns of the given functions is marked as (*) and (**). As we can see, the values are identical.

So, the statement is true