Statement I : ~(p ↔ ~ q)is equivalent to p ↔ q
Statement II : ~(p ↔ ~ q) is a tautology.
(a) Statement I is true, Statement II is true; Statement II is a correct explanation for Statement I.
(b) Statement I is true; Statement II is true; Statement II is not a correct explanation for Statement I.
(c) Statement I is true, Statement II is false.
(d) Statement I is false, Statement II is true.