单项选择题

A.事实表达式的与或树
B.目标公式的与或树
C.与或树
D.证明树