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