x and (x implies not y) implies not (x and y)x and (x implies not y) implies not (x and y)

• Natural Language
• Math Input