Solutions of linear logical equations
Wang Dao-lin · Jisuanji gongcheng yu sheji · 2008
The mathematical model represented by logical equation or logical equations is often used in the software and hardware design.It is necessary to discuss solutions for the mathematical models.The necessary and sufficient condition for linear logical equation such as = 0,= 1,=,= 1(logic negation variables are not included in but in) having solutions and having unique solution are obtained.The number of the solutions is discussed and the formula for solutions or expression of solution sets is given.The conclusion that the logical equation or logical equations in any form could be changed into linear logical equation is clarified.The two methods of permutation matrix and maximum item are employed for finding the solutions of linear logical equations,logical equation and logical equations.