A Study on Monotone Self-Dual Boolean Functions

---

Copy For Citation

Altun M., RIEDEL M. D.

ACTA MATHEMATICAE APPLICATAE SINICA-ENGLISH SERIES, vol.33, no.1, pp.43-52, 2017 (SCI-Expanded)

• Publication Type: Article / Article
• Volume: 33 Issue: 1
• Publication Date: 2017
• Doi Number: 10.1007/s10255-017-0633-x
• Journal Name: ACTA MATHEMATICAE APPLICATAE SINICA-ENGLISH SERIES
• Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
• Page Numbers: pp.43-52
• Istanbul Technical University Affiliated: Yes

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(n(3)).