部分K值逻辑中完满对称函数集的确定和构造

Determination and conformation of full symmetric function sets in partial K-valued logic

根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。

According to the completeness theory in partial kvalued logic, firstly, the number of preserving binary full symmetric function sets is determined for general K, and the method of constructing these function sets is given out; secondly, the number of all full symmetric function sets is determined for general K, and the method of constructing these function sets is given out.