计算机代数在布尔运算系统的研究与设计中的运用.pdf

摘要 本文利用吐笠扭盛数的方法对查玺垡塾与在玺杰达中的一些主要运算的 计算机自动实现进行研究，把运算的原理与方法转化成能由计算机语言实现 的算法，并改进了一些布尔运算算法，提出了一种求解真值方程-的新算法。 在算法研究的基础上，设计了一个研究布尔代数与布尔方法的软件系 Operation 统：布尔运算系统(B001can Systom，简称BLOS)，该系统基于 功能：求布尔函数的各种表达式、环和范式；布尔函数化简：真值方程(组) 的求解；一般布尔方程及其混合组的求解；线性伪布尔方程、不等式及其混 合组的求解；非线·}生伪布尔方程及非线·}生伪布尔不等式的求解。这些功能在 的功能，可作为研究布尔代数与布尔方法的工具，也可作为布尔代数、数字逻 辑等课程的教学软件。 Abstract Inthis paper，usingComputeralgebramethod，we studycomputer of alltomaticrealizationboolcan main problem algebra operations．The are into methodstransformed can be operation arithmetice，which done．Some computer boolean arithmeticsare language operaton improved a to andnewarithmetics01vesimultaneousboolean be equations put forward． Onthebaseofarithmeticthesoftware ofBoolean study system andBooleanmethod s algebra study(Boolean operationsystem：BLOS)j isbaseonMathematica main designed．Thesystem platform．Its functionsasfollows：toboolean give functionvarious expressions： booleanfunotion function solve