部分K值逻辑中完满对称函数集的确定和构造
【出 处】:《
计算机工程与科学
》
CSCD
2013年第35卷第2期 81-84页,共4页
【作 者】:
龚志伟
[1] ;
刘任任
[2]
【摘 要】
根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。
相关热词搜索: