Title :
Complete Solution of Boolean Equations
Author :
Tapia, Moiez A. ; Tucker, Jerry H.
Author_Institution :
Department of Electrical Engineering, University of Miami
fDate :
7/1/1980 12:00:00 AM
Abstract :
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.
Keywords :
Boolean algebra; Boolean equations; characteristic equation; complete solutions; number of distinct solutions; parameterized solutions; reduced solutions; Algorithm design and analysis; Application software; Differential equations; Digital audio players; Distributed computing; NASA; Parallel processing; Software algorithms; Sufficient conditions; Supercomputers; Boolean algebra; Boolean equations; characteristic equation; complete solutions; number of distinct solutions; parameterized solutions; reduced solutions;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1980.1675639
