单项选择题

A.递推化法
B.直接化法
C.逻辑简化法
D.“割顶点法”