Issue No. 07 - July (1980 vol. 29)
M.A. Tapia , Department of Electrical Engineering, University of Miami
A method is presented for generating a single formula involving arbitrary Boolean parameters, which includes in it each and every possible solution of a system of Boolean equations. An alternate condition equivalent to a known necessary and sufficient condition for solving a system of Boolean equations is given.
reduced solutions, Boolean algebra, Boolean equations, characteristic equation, complete solutions, number of distinct solutions, parameterized solutions
J. Tucker and M. Tapia, "Complete Solution of Boolean Equations," in IEEE Transactions on Computers, vol. 29, no. , pp. 662-665, 1980.