Title :
On Complementation of Boolean Functions
Author :
Hong, S. ; Ostapko, D. L.
Author_Institution :
Systems Development Division, IBM Corporation, Poughkeepsie, N. Y.
Abstract :
A theorem is presented that simplifies the computations necessary for complementing a Boolean function.
Keywords :
Boolean functions; Boolean function; DeMorgan´s rule; complementation; large variables;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1972.5009083