ON LINEAR DECOMPOSITION OF BOOLEAN FUNCTIONS

被引:0
|
作者
Cheremushkin, A. V. [1 ]
机构
[1] EMA IS, Moscow, Russia
来源
PRIKLADNAYA DISKRETNAYA MATEMATIKA | 2016年 / 31卷 / 01期
关键词
Boolean function; vector space; dual space; simple disjunctive decomposition; iterative disjunctive decomposition;
D O I
10.17223/20710410/31/4
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Disjunctive decompositions of Boolean functions taken after a linear substitution on the set of arguments are considered. For any component of such a decomposition, a notion of a substantial variables subspace is introduced. The main topic of the article is to give some sufficient condition under which the both these subspaces unequally determine each other in a simple disjunctive decomposition of a function having the trivial stabiliser group of shifts. The case of iterative disjunctive decomposition is considered too.
引用
收藏
页码:46 / 56
页数:11
相关论文
共 50 条