(!A ^ B) v (A ^ B) == B