A FUNCTIONAL REPRESENTATION OF FREE DE MORGAN ALGEBRAS
prev
next
prev
next
Author(s)
Author(s)
A FUNCTIONAL REPRESENTATION OF FREE DE MORGAN ALGEBRAS Vahagn Aslanyan
It is well known that free Boolean algebra on n free generators is isomorphic to the Boolean algebra of Boolean functions of n variables. The free distributive lattice on n free generators is isomorphic to the lattice of monotone Boolean functions of n variables. In this paper we introduce the concept of De Morgan function and prove that the free De Morgan algebra on n free generators is isomorphic to the De Morgan algebra of De Morgan functions of n variables. Keywords: Antichain, monotone Boolean function, De Morgan function, free De Morgan algebra.
DOI: 10.46991/PYSU:A/2012.46.3.014 Physical and Mathematical Sciences, 46(3 (229) 14-16