Title :
A Numerical Algorithm for the Resolution of Boolean Equations
Author :
Picchia, Walter Del
Author_Institution :
Departamento de Engenharia de Eletricidade, Escola Politècnica da Universidade de São Paulo
Abstract :
This correspondence presents the remainder-quotient (RQ)-algorithm for the resolution of Boolean equations. If [mi]w = w ( xkl, xj2, ... XkN) = 1[/mi] is the Boolean equation equivalent to the system whose solution is desired, we want to determine the Boolean functions [mi]xk, = Xkp ( xhj+1,... -xkN)[/mi] with p = 1,2,... j, which verify the equivalent equation. We start with the function w given by its minterm numbers and performing usual divisions we determine the solutions in the domain of the numerical transform (NT), introduced in a previous paper. An alternative way is also presented, which is advantageous when the number of minterms in the equivalent equation is large. Examples which show the great systematization of the methods are given.
Keywords :
Boolean equation, computation, consistence, numerical algorithm, transformation.; Arithmetic; Boolean functions; Equations; Transforms; Boolean equation, computation, consistence, numerical algorithm, transformation.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1974.224067