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