BOOLEAN EQUATIONS AND DECOMPOSITION OF BOOLEAN FUNCTIONS

被引:0
|
作者
ROZENFELD, TK
SILAYEV, VN
机构
来源
ENGINEERING CYBERNETICS | 1979年 / 17卷 / 01期
关键词
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
COMPUTER METATHEORY
引用
收藏
页码:85 / 92
页数:8
相关论文
共 50 条
  • [41] On Decomposition of Sub-definite Partial Boolean Functions
    Sharankhaev, Ivan K.
    [J]. JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2016, 9 (01): : 119 - 122
  • [42] DECOMPOSITION OF A DATA BASE AND THEORY OF BOOLEAN SWITCHING FUNCTIONS
    DELOBEL, C
    CASEY, RG
    [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1973, 17 (05) : 374 - 386
  • [43] THE EXISTENCE OF THE DISJUNCTIVE-CONJUNCTIVE DECOMPOSITION OF BOOLEAN FUNCTIONS
    SUPRUN, VP
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1983, (06): : 51 - 54
  • [44] NONESSENTIAL NATURE OF ARGUMENTS AND DECOMPOSITION OF BOOLEAN FUNCTIONS.
    Enin, S.V.
    Bibilo, P.N.
    [J]. Automatic Control and Computer Sciences, 1978, 12 (04) : 14 - 19
  • [45] Methods for successive construction of a functional decomposition of Boolean functions
    Boole, E.S.
    Chapenko, V.P.
    [J]. Automatic Control and Computer Sciences, 2005, 39 (05) : 37 - 45
  • [46] Fast Algebraic Attacks and Decomposition of Symmetric Boolean Functions
    Liu, Meicheng
    Lin, Dongdai
    Pei, Dingyi
    [J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 2011, 57 (07) : 4817 - 4821
  • [47] Boolean functions as models for quantified Boolean formulas
    Buening, Hans Kleine
    Subramani, K.
    Zhao, Xishun
    [J]. JOURNAL OF AUTOMATED REASONING, 2007, 39 (01) : 49 - 75
  • [49] Almost Boolean functions: The design of Boolean functions by spectral inversion
    Clark, JA
    Jacob, JL
    Maitra, S
    Stanica, P
    [J]. CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS, 2003, : 2173 - 2180
  • [50] Almost Boolean functions: The design of Boolean functions by spectral inversion
    Clark, JA
    Jacob, JL
    Maitra, S
    Stanica, P
    [J]. COMPUTATIONAL INTELLIGENCE, 2004, 20 (03) : 450 - 462