A functional completeness theorem for De Morgan functions
In this paper we define disjunctive and conjunctive normal forms of De Morgan functions and prove a functional completeness theorem for these functions.
de morgan function antichain monotone boolean function disjunctive (conjunctive) normal form of de morgan function closed class complete and precomplete classes quasimonotone and zigzag de morgan functions