A functional completeness theorem for De Morgan functions.

DOI10.1016/j.dam.2013.08.006zbMath1338.06011OpenAlexW1997507765MaRDI QIDQ741709

Vahagn A. Aslanyan, Yuri M. Movsisyan

Publication date: 12 September 2014

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2013.08.006

zbMATH Keywords

monotone Boolean functionsclosed classesfunctional completenessdisjunctive normal formsprecomplete classescomplete classesconjunctive normal formsDe Morgan functions

Mathematics Subject Classification ID

Boolean functions (06E30) Operations and polynomials in algebraic structures, primal algebras (08A40) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items

The number of monotone and self-dual Boolean functions. ⋮ Characterization of zigzag De Morgan functions ⋮ Super-De Morgan functions and free De Morgan quasilattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Boole–De Morgan Algebras and Quasi-De Morgan Functions

Uses Software

• JBool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebras with hyperidentities of the variety of De Morgan algebras.
• Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras.
• A proof of Lyndon's finite basis theorem
• Post's functional completeness theorem
• Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes
• Lattice Theory: Foundation
• BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS: A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
• HYPERIDENTITIES OF BOOLEAN ALGEBRAS
• Hyperidentities in algebras and varieties
• Algebras with hyperidentities of the variety of Boolean algebras
• A CHARACTERIZATION OF de MORGAN ALGEBRAS
• Monotone Boolean functions
• Hyperidentities of De Morgan algebras
• Function Algebras on Finite Sets
• Lattices With Involution
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

This page was built for publication: A functional completeness theorem for De Morgan functions.