部分k值逻辑中完满对称函数集最小覆盖判定的一些结果

根据部分k值逻辑的完备性理论，从二元完满对称关系gz的关系图的特点出发，首先证明了两类保二元的完满对称函数集不属于部分k值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论，定出了部分k值逻辑中保二元的完满对称函数集在边数小于等于k时的准完备集之最小覆盖成员。