A study on monotone self-dual Boolean functions

Mustafa Altun, Marc Riedel

Research output: Contribution to journalArticlepeer-review


This paper shows that monotone self-dual Boolean functions in irredundant disjuntive normal form (IDNF) do not have more variables than disjuncts. Monotone self-dual Boolean functions in IDNF with the same number of variables and disjuncts are examined. An algorithm is proposed to test whether a monotone Boolean function in IDNF with n variables and n disjuncts is self-dual. The runtime of the algorithm is O(n3).

Original languageEnglish (US)
Pages (from-to)43-52
Number of pages10
JournalActa Mathematicae Applicatae Sinica
Issue number1
StatePublished - Feb 1 2017


  • duality problem
  • monotone Boolean functions
  • self-dual Boolean functions


Dive into the research topics of 'A study on monotone self-dual Boolean functions'. Together they form a unique fingerprint.

Cite this