((E and not C) implies D) and ((not E and C) implies not D)