三个变元以内的析取范式计算