Let p be the statement "x is an irrational number", q be the statement "y is a transcendental number" and r be the statement "x is a rational number, if y is a transcendental number".
Statement I r is equivalent to either q or p.
Statement II r is equivalent to ~(p ↔ ~ q).
(a) Statement I is false, Statement II is true
(b) Statement I is true, Statement II is true; Statement II is a correct explanation for Statement I
(c) Statement I is true, Statement II is true; Statement II is not a correct explanation for Statement I
(d) Statement I is true, Statement II is false