A study on monotone self-dual Boolean functions |
| |
Authors: | Mustafa Altun Marc D. Riedel |
| |
Affiliation: | 1.Electronics and Communication Engineering,Istanbul Technical University,Istanbul,Turkey;2.Electrical and Computer Engineering,University of Minnesota,Minneapolis,USA |
| |
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). |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|