试题详情
多项选择题基于规则的正向演绎系统的使用条件（）

A、事实表达式是任意形式

B、规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式

C、目标公式为文字析取形

D、目标公式是任意形式

  • 关注下方微信公众号，在线模考后查看

热门试题