!((!C AND D) OR (!C AND !A) OR (!C AND !E) OR (D AND A))