该文利用计算机代数的方法对布尔代数与布尔方法中的一些主要运算的计算机自动实现进行研究,把运算的原理与方法转化成能由计算机语言实现的算法,并改进了一些布尔运算算法,提出了一种求解真值方程的新算法.在算法研究的基础上,设计了一个研究布尔组方法的软件系统:布尔运算系统(Boolean Operation System,简称BLOS),该系统基于Mathematica平台,由计算机代数语言Mathematica语言写成,具有如下主要功能:求布尔函数的 各种表达式、环和范式;布尔函数化简;真值方程(组)的求解;一般布尔方程及其混合组的求解;线性伪布尔方程、不等式及其混合组的求解;非线性伪布尔方程及非线性伪布尔不等式的求解.这些功能在Mathematica和其他计算机代数系统中是没有的,该系统扩充了Mathematica的功能,可作为研究布尔代数与布尔方法的工具,也可作为布尔代数、数字逻辑等课程的数学软件.