AでないまたはBである