DISJOINT DECOMPOSITION OF BOOLEAN FUNCTIONS

被引:4
|
作者
POSWIG, J
机构
[1] Univ of Dortmund, Dortmund
来源
关键词
BOOLEAN ALGEBRA; LOGIC;
D O I
10.1049/ip-e.1991.0007
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
The minimisation of Boolean functions is a classical problem. This paper deals with the set of functions which satisfy the equation f(X) = h(g(X1), X2) where the variable set X is given by the disjoint union of any sets X1 and X2. We present an efficient method in the Boolean domain which is based on the theory of Boolean differential calculus and the spectral development using the Walsh transform.
引用
收藏
页码:48 / 56
页数:9
相关论文
共 50 条
  • [11] DECOMPOSITION OF BOOLEAN FUNCTIONS APPLYING THE APPARATUS OF BOOLEAN DERIVATIVES
    BLIZNYUK, VD
    KHOLODNYI, MF
    [J]. AUTOMATION AND REMOTE CONTROL, 1984, 45 (05) : 636 - 643
  • [12] A NEW APPROACH TO THE DECOMPOSITION OF BOOLEAN FUNCTIONS. 4. NON-DISJOINT DECOMPOSITION: THE METHOD OF p, q-PARTITIONS
    Rytsar, B. Ye.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2009, 45 (03) : 340 - 364
  • [13] Secondary constructions of highly nonlinear Boolean functions and disjoint spectra plateaued functions
    Zhang, Feng-rong
    Carlet, Claude
    Hu, Yu-pu
    Cao, Tian-jie
    [J]. INFORMATION SCIENCES, 2014, 283 : 94 - 106
  • [14] DISJOINT DISJUNCTIVE FORM OF BOOLEAN FUNCTIONS AND ITS APPLICATIONS.
    Takahashi, Naoya
    Mukaidono, Masao
    [J]. Systems and Computers in Japan, 1987, 18 (11) : 1 - 11
  • [15] The Decomposition Tree for analyses of Boolean functions
    Friedel, Maik
    Nikolajewa, Swetlana
    Wilhelm, Thomas
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2008, 18 (02) : 411 - 426
  • [16] Structured Decomposition for Reversible Boolean Functions
    Jiang, Jiaqing
    Sun, Xiaoming
    Sun, Yuan
    Wu, Kewen
    Xia, Zhiyu
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 39 (10) : 2410 - 2421
  • [17] Algebraic attacks and decomposition of boolean functions
    Meier, W
    Pasalic, E
    Carlet, C
    [J]. ADVANCES IN CRYPTOLOGY - EUROCRYPT 2004, PROCEEDINGS, 2004, 3027 : 474 - 491
  • [18] REDUNDANCY OF ARGUMENTS AND DECOMPOSITION OF BOOLEAN FUNCTIONS
    JENIN, SV
    BIBILO, PN
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1978, (04): : 16 - 21
  • [19] Disjoint-support Boolean decomposition combining functional and structural methods
    Martinelli, A
    Krenz, R
    Dubrova, E
    [J]. ASP-DAC 2004: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2004, : 597 - 599
  • [20] Theorems on parallel decomposition of Boolean functions
    Zakrevskii, AD
    [J]. DOKLADY AKADEMII NAUK BELARUSI, 1998, 42 (05): : 5 - 7