DocumentCode
3312204
Title
Solution of multivalued logic algebra equations
Author
Tapia, Moiez A.
Author_Institution
Dept. of Electr. & Comput. Eng., Miami Univ., Coral Gables, FL, USA
fYear
1989
fDate
9-12 Apr 1989
Firstpage
245
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Southeastcon '89. Proceedings. Energy and Information Technologies in the Southeast., IEEE
Conference_Location
Columbia, SC
Type
conf
DOI
10.1109/SECON.1989.132368
Filename
132368
Link To Document