A study on monotone self-dual Boolean functions

Mustafa Altun; Marc Riedel

doi:10.1007/s10255-017-0633-x

A study on monotone self-dual Boolean functions

Mustafa Altun, Marc Riedel

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

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

Original language	English (US)
Pages (from-to)	43-52
Number of pages	10
Journal	Acta Mathematicae Applicatae Sinica
Volume	33
Issue number	1
DOIs	https://doi.org/10.1007/s10255-017-0633-x
State	Published - Feb 1 2017

Keywords

duality problem
monotone Boolean functions
self-dual Boolean functions

Access

10.1007/s10255-017-0633-x

OpenUrl availability

Full text

Cite this

@article{bd1a20777278472086079159f3211f77,

title = "A study on monotone self-dual Boolean functions",

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 = "duality problem, monotone Boolean functions, self-dual Boolean functions",

author = "Mustafa Altun and Marc Riedel",

year = "2017",

month = feb,

day = "1",

doi = "10.1007/s10255-017-0633-x",

language = "English (US)",

volume = "33",

pages = "43--52",

journal = "Acta Mathematicae Applicatae Sinica",

issn = "0168-9673",

publisher = "Springer Verlag",

number = "1",

}

TY - JOUR

T1 - A study on monotone self-dual Boolean functions

AU - Altun, Mustafa

AU - Riedel, Marc

PY - 2017/2/1

Y1 - 2017/2/1

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

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

KW - duality problem

KW - monotone Boolean functions

KW - self-dual Boolean functions

UR - http://www.scopus.com/inward/record.url?scp=85015637527&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85015637527&partnerID=8YFLogxK

U2 - 10.1007/s10255-017-0633-x

DO - 10.1007/s10255-017-0633-x

M3 - Article

AN - SCOPUS:85015637527

SN - 0168-9673

VL - 33

SP - 43

EP - 52

JO - Acta Mathematicae Applicatae Sinica

JF - Acta Mathematicae Applicatae Sinica

IS - 1

ER -

A study on monotone self-dual Boolean functions

Abstract

Keywords

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this