Answer to Question #348333 in Discrete Mathematics for maryum

Question

show that p↔q and (p∧q)∨(¬p∧¬q) are logically equivalent

Answer 1

Let's build a truth table:

Since, with the same sets of variables, the formulas take on the same truth value, they are logically equivalent.

Q.E.D.