A study on monotone self-dual Boolean functions

Mustafa Altun, Marc Riedel

Research output: Contribution to journalArticle

Abstract

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
Volume33
Issue number1
DOIs
StatePublished - Feb 1 2017

Keywords

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

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

  • Cite this