单项选择题

基于规则的正向演绎系统的子句形式()

A.子句的合取式(合取范式)
B.子句的析取式(析取范式)
C.文字的析取式
D.文字的合取式