A FUNCTIONAL REPRESENTATION OF FREE DE MORGAN ALGEBRAS
DOI:
https://doi.org/10.46991/PYSU:A/2012.46.3.014Keywords:
Antichain, monotone Boolean function, De Morgan function, free De Morgan algebraAbstract
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.
Downloads
Published
2022-01-12
How to Cite
Movsisyan, Y. (2022). A FUNCTIONAL REPRESENTATION OF FREE DE MORGAN ALGEBRAS. Proceedings of the YSU A: Physical and Mathematical Sciences, 46(3 (229). https://doi.org/10.46991/PYSU:A/2012.46.3.014
Issue
Section
Mathematics
License
Copyright (c) 2022 Proceedings of the YSU
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.