On the suppression of variables in Boolean equations

https://doi.org/10.1016/j.dam.2010.11.013Get rights and content
Under an Elsevier user license
open archive

Abstract

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.

Keywords

Boolean equations
Elimination of variables
Suppression of variables
Simplified solutions

Cited by (0)