摘要
逻辑方程组属于逻辑代数的范畴,和线性方程组相仿,它也存在着方程的相关性和独立性以及解的组数等问题。本文先就这些问题给出初步的分析和证明;最后给出一种“降变量方程图”求解逻辑方程组的方法,并附有二例,目的在于解决逻辑方程组所含变量较多时求解困难的问题。
Logic equations belong to the algebra category.Like Linear equations, they have such problems as relativity,independence and the suit number for their solution.In this paper,a preliminary analysis and proof is introduc- ed.Then a method known as Reduced—Dimension Equation Map for solu- tion of the logic equation suit is presented with two examples.The purpo- se is to tackle the solution of the logic equation suit when multi—variab- les exist in it.
关键词
逻辑方程组
降维方程图
图变量
logic equations
reduced-dimension equation map
map-variables
