消解是一种可用于一定的()的重要推理规则。
A:子句
B:双条件
C:合取公式
D:蕴含公式
出自:计算机科学