Statement (p∨q)→(p∧q) is equivalent
F
p↔q
T
q→p∧q
(p∨q)→(p∧q)≡∼(p∨q)∨(p∧q)≡(~p∧~q)∨(p∧q)≡[~p∨(p∧q)]∧[~q∨(p∧q)]≡[~p∨q]∧[~q∨p]≡(p→q)∧(q→p)≡p↔q