058 确定性推理-3.4 与或形演绎推理