Which of the following is equivalent to p↔q?
(~p∨q)∨(p∨q)
(p∧q)∨(~p∧~q)
(p∨q)∧(p∨~q)
(p∧q)∨(p∨q)
Use
p↔q≡(p→q)∧(q→p) ≡(~p∨q)∧(~q∨p) ≡(p∧q)∨(~p∧~q)