Title :
On the Solution of Boolean and Pseudo-Boolean Relations
Author_Institution :
School of Advanced Technology, State University of New York
Abstract :
This correspondence deals with collections of n binary relations between Boolean and/or pseudo-Boolean functions which are combined by an n-ary relation. A new algorithm is described for solving these relations.
Keywords :
Boolean relations, pseudo. Boolean relations.; Boolean functions; Concurrent computing; Equations; Logic; Mathematics; Boolean relations, pseudo. Boolean relations.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/T-C.1974.223810
