A Study on Monotone Self-Dual Boolean Functions


Altun M. , RIEDEL M. D.

ACTA MATHEMATICAE APPLICATAE SINICA-ENGLISH SERIES, cilt.33, sa.1, ss.43-52, 2017 (SCI İndekslerine Giren Dergi) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 33 Konu: 1
  • Basım Tarihi: 2017
  • Doi Numarası: 10.1007/s10255-017-0633-x
  • Dergi Adı: ACTA MATHEMATICAE APPLICATAE SINICA-ENGLISH SERIES
  • Sayfa Sayıları: ss.43-52

Özet

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)).