相容选言推理的正确式为____。