scientific article; zbMATH DE number 1775529

MaRDI QIDQ4544358zbMATH OpenFDO

Authors Radomir S. Stanković

Publication date 4 August 2002

zbMATH Keywords

BDDBoolean expressiondecompositionEXOR-TDDspositive polarityswitching functions

Mathematics Subject Classification ID

Review text

EXOR Ternary Decision Diagrams (EXOR-TDDs) are introduced for minimizing Boolean expressions. An \(n\)-variable switching (Boolean) function \(f(x_1,\dots ,x_n)\) is a simple disjoint decomposition with respect to the first \(r\) variables iff \(f(x_1,\dots ,x_n)=g(h(x_1,\dots ,x_r),x_{r+1},\dots ,x_n)\), where \(g\) and \(f\) are switching functions of \(r\) and \((n-r+1)\) variables, respectively. It is shown that the determination of whether or not an \(n\)-variable switching function is a simple disjoint decomposition with respect to \(r\) variables is equivalent to the construction of EXOR-TDDs for a matrix-valued function of \((n-r)\) variables.

Recommendations

• Decomposition of multi-output Boolean functions
• Information content of the ternary decision diagrams
• Decomposition of systems of Boolean functions determined by binary decision diagrams
• scientific article; zbMATH DE number 2227354
• scientific article; zbMATH DE number 910730

Cited in

(3)

• Information content of the ternary decision diagrams
• scientific article; zbMATH DE number 2114161 (Why is no real title available?)
• Matrix relations for total complex decomposition of switching functions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4544358)