A and ((B or not D) or C and not E)