Complete Solution of Boolean Equations
Tapia, Tucker · IEEE Transactions on Computers · 1980
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.