Let p, q, r be three statements.
Statement-1: p↔q≡(p→q)∧(~q∨p) is a tautology.
Statement-2: p∨q→r≡(p→r)∧(q→r) is a tautology.
STATEMENT-1 is True, STATEMENT-2 is True; STATEMENT-2 is a correct explanation for STATEMENT-1
STATEMENT-1 is True, STATEMENT-2 is True; STATEMENT-2 is NOT a correct explanation for STATEMENT-1
STATEMENT-1 is True, STATEMENT-2 is False
STATEMENT-1 is False, STATEMENT-2 is True
p↔q≡(p→q)∧(q→p) ≡(p→q)∧(~q∨p)
and p∨q→r≡∼(p∨q)∨r
≡(~p∧~q)∨r≡(~p∨r)∧(~q∨r)≡(p→r)∧(q→r)