基于规则的正向演绎系统的使用条件（）

• A、事实表达式是任意形式
• B、规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式
• C、目标公式为文字析取形
• D、目标公式是任意形式