A Study on Monotone Self-Dual Boolean Functions

作者：Altun Mustafa^*; Riedel Marc D

来源：Acta Mathematicae Applicatae Sinica-English Series, 2017, 33(1): 43-52.

DOI：10.1007/s10255-017-0633-x

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

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

• 出版日期2017-2