等值演算法可以用来计算主合取范式。