多项选择题

A.事实表达式是文字合取形式
B.事实表达式是任意形式
C.规则形式为:W→L或W→L1∧L2其中L为单文字,W为任意形式。
D.目标公式是任意形式