Decidability of Existence and Construction of a Complement of a given Function
arXiv:1106.4102
Abstract
This article defines a complement of a function and conditions for existence of such a complement function and presents few algorithms to construct a complement.