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 iff y is a transcendental number”. S1 : r is equivalent to either q or p S2 : r is equivalent to ∼(p↔∼q)