析取范式公式的化简

本文阐述了离散数学中析取范式公式化简的计算机实现过程,给计算要实现模拟化简提供了理论方法。