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 $ ^{\sim}(p \leftrightarrow \: ^{\sim}q)$