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