计算机简化逻辑代数式

本文的目的是用计算机对数字电路、模糊数学领域及其他技术领域中广泛使用的逻辑代数式进行简化,以前简化逻辑代数式的方法一般采用公式法、真值图法、观察法及其他方法处理,但是随着科学技术的飞跃发展,逻辑中所含的变量数目越来越多,给人们的简化工作带来了困难。本文为此对逻辑代数式的规律进行分析,提出用计算机计算的公式,并提出减小计算工作量的方法。