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...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）.展开更多
文摘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）.
