DocumentCode :
1116374
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
Issue :
9
fYear :
1974
Firstpage :
983
Lastpage :
986
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.;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/T-C.1974.224067
Filename :
1672660
Link To Document :
بازگشت