[Technical Note] Purely-Algebraic versus VEKM Methods for Solving Big Boolean Equations

Manual methods of solving big Boolean equations include purely-algebraic methods and methods utilizing the variable-entered Karnaugh map (VEKM). The VEKM techniques are demonstrated to be at least competitive with (and occasionally superior to) purelyalgebraic techniques, since the VEKM techniques (a) include purelyalgebraic methods as special cases, and (b) have a better control on the minimality of the pertinent function representations, and hence are more capable of producing more compact general solutions.