(x3 or x4) implies ((x1 and not x2) or (not x1 and x2))(x3 or x4) implies ((x1 and not x2) or (not x1 and x2))

• Natural Language
• Math Input