Some additions to "solution of switching equations based on a tabular algebra" | IEEE Journals & Magazine | IEEE Xplore

Some additions to "solution of switching equations based on a tabular algebra"


Abstract:

A method was presented by A.L. Ruiz, P.P. Trabado, and J.O. Lopera (see ibid., vol.42, no. 5, p. 591-6, 1993) for efficiently generating the solutions of Boolean equation...Show More

Abstract:

A method was presented by A.L. Ruiz, P.P. Trabado, and J.O. Lopera (see ibid., vol.42, no. 5, p. 591-6, 1993) for efficiently generating the solutions of Boolean equations by using tables (i.e., rectangular arrays or matrices) of 0's, 1's, and dashes to represent Boolean expressions. Some enhancements of their method are presented. First, it is shown how the uniting theorem can be applied directly to simplify tables. Then it is shown how to complement a table, which would make their method (henceforth referred to as RTL) directly applicable to expressions containing complemented subexpressions. The latter result allows the method to be extended from the solution of equations of the form f(X)=1 to equations of the form f(X)=0, and, more generally to equations of the form f(X)=g(X), or to simultaneous equations of the same types.<>
Published in: IEEE Transactions on Computers ( Volume: 43, Issue: 3, March 1994)
Page(s): 365 - 367
Date of Publication: 06 August 2002

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.