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