A rank of implicit representations over a class of three-valued logic functions

被引:0
|
作者
Mikhailets E.V. [1 ]
机构
[1] Moscow State University, Faculty of Mechanics and Mathematics, Leninskie Gory
基金
俄罗斯基础研究基金会;
关键词
Partial Order; Boolean Function; Rank Function; Implicit Representation; Implicit Equation;
D O I
10.3103/S0027132208050136
中图分类号
学科分类号
摘要
It is shown that among implicitly complete systems of functions of the three-valued logic P 3 there exists a system W such that the rank function m W(n) expressing the least number of equations sufficient for implicit determination of any function of n variables from P 3 has an exponential order of growth: for all n. © 2008 Allerton Press, Inc.
引用
收藏
页码:221 / 223
页数:2
相关论文
共 50 条