关于表展开法的扩充

本文介绍一种新的算法，突破了传统的表展开法只处理“＋”，“＊”算符，可将由“＋”，“＊”和“－”三个算符组成的布尔表达式展开成民开表形式。