A functional representation of free De Morgan algebras

Известно, что свободная булева алгебра с $n$ свободными порождающими изоморфна булевой алгебре булевых функций от $n$ переменных, а так-же свободная дистрибутивная решетка с $n$ свободными порождающими изоморфна решетке монотонных булевых функций от $n$ переменных. В настоящей работе введено понятие Де Моргановой функции и доказано, что свободная Де Морганова алгебра с $n$ свободными порождающими изоморфна Де Моргановой алгебре Де Моргановых функций от $n$ переменных.