Title :
Solution of multivalued logic algebra equations
Author_Institution :
Dept. of Electr. & Comput. Eng., Miami Univ., Coral Gables, FL, USA
Abstract :
A set of simultaneous equations in the MVL (multivalued logic) algebraic system is transformed into a set of simultaneous equations in the MTB (multivalued-to-binary) algebraic system by replacing each expression and each unknown function in the former by its respective logical decomposition. Using the available method for solving a set of simultaneous Boolean equations, a method has been developed and presented for solving a given set of simultaneous equations in the MVL algebraic system. The necessary and sufficient conditions for the existence of one or more solutions of the set under no constraints as well as under some constraints are given
Keywords :
many-valued logics; Boolean equations; MVL; logical decomposition; multivalued logic algebra equations; multivalued-to-binary; necessary and sufficient conditions; simultaneous equations; Absorption; Algebra; Equations; Logic functions; Matrices; Multivalued logic; Sufficient conditions;
Conference_Titel :
Southeastcon '89. Proceedings. Energy and Information Technologies in the Southeast., IEEE
Conference_Location :
Columbia, SC
DOI :
10.1109/SECON.1989.132368
