On the suppression of variables in Boolean equations

The resultant of suppression of variables from a Boolean equation is a Boolean equation, derived from the parent equation, whose solutions are exactly those of the parent equation that do not involve the suppressed variables. Two examples in the literature are discussed, in which it is necessary to solve a Boolean equation while excluding solutions involving certain variables. In such cases it would be advantageous to solve the resultant of suppression of those variables rather than solving the original equation and filtering the desired solutions from the results. (C) 2010 Elsevier B.V. All rights reserved.