On Complementation of Boolean Functions

Abstract
A theorem is presented that simplifies the computations necessary for complementing a Boolean function.