A FUNCTIONAL REPRESENTATION OF FREE DE MORGAN ALGEBRAS

Authors

  • Yu.M. Movsisyan Chair of Algebra and Geometry, YSU, Armenia

DOI:

https://doi.org/10.46991/PYSU:A/2012.46.3.014

Keywords:

Antichain, monotone Boolean function, De Morgan function, free De Morgan algebra

Abstract

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