An automated tool for analysis and design of MVL digital circuits

In the development of logical circuits projects in Multivalued Logic, it is necessary to obtain the result of logical expressions that sometimes are very large and complex. A software called ELOmv, that is capable of calculating the truth-table for expressions in ternary or quaternary level with even three variables of entry is presented. The non-classical algebra of MVL based on Post algebra, used in this work is shown, as well as the operators and the synthesis of the logical functions. This software is a tool that can be used in a future work in which synthesis and simplification of logical functions will be performed.