单项选择题

A.等价表达式
B.等价规则集
C.启发式
D.最小的等价规则集