[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.