关于部分K逻辑Sheffer函数(Ⅰ).pdfVIP

第九届全国多值逻辑与模期逻辑学木会议 关于部分K值逻辑Shoffer函数(I) 欧阳建权 刘任任 ， 潮潭大学信息工程学院 4ll105 搬：根鬻部分多值逻辑的完备性理论口】，本文证明了_-2时的一类正删可高函数集在 《币极大封闭集之最小覆盖中必需出现． 关■嗣：多值逻辑。完备性．sheffer函数，极大封闭集 1、弓i言 在多值逻辑结构理论中，sheffer函数的判定和构造是根重要的研究课 题。它包括完全、部分多值逻辑sheffer函数的结构和判定．其判定问题分别 与完全和部分多值逻辑中函数系完备性之判定的解决密切相关．对于完全多值 逻辑函数集中的sheffer函数，在70年代由于完备性判定问题的彻底解决，至 今已有系统、清晰的结果。对于部分多值逻辑函数集中的sheffer函数，其完 备性闷嚣直到1984年才由罗铸槽彻底解决，故研究工作才刚刚开始。此伺厝的 解决岛续为定出露中极大封尚集的最小覆盖。羽妊任在文[2，3】中，对足s4完 完备集)保E函数集h、上型函数集L(G4．0、拟线性函数集k在《的极大封闭 集之量小覆盖中必需出现；在文[7，8]中，证明了曩．2时，其中满足一定条件的 完满对称函数集在最小覆盖中必需出现。 本文证明嗍时．其中满足一定条件的正则可离函数集在《的极大封闭集 之最夺覆盖中必需出现。 2、基本定义 设E产{oJl…．，k-l}，芷≥2，E。上的完全和非完全足值逻辑函数统称为 部分多值逻辑函数，所有部分K值逻辑函敷作成之集合记为砭． 露中全部函数。令∑={^。I^。仁《是极大封闭集)，i=0，1…．，n，且∑’亡∑· 定义： 、 sr，=IfE腰J存在4E∑‘使fEo：，1≤jsn)．即s。．表示露中所有属于￡’中菜 月 个极大封闭集的函数之集合，也即s，．=U』j，一l∈∑。，1∑’I_n， 。 。 ‘ t J·I ／ j=O．1一．．n。 ． 集合艺’(g∑)说是∑的覆盖．如果满足S，．=s∑． 显然，函数是sheff时函数必要而且只要f芒s。．，其中∑’是∑的覆盖 覆盖∑’说是最小的，如果∑’的任何一个真子集都不是集合∑的覆盖。 显然，对于一个极大封闭集A，若存在一个函数fts。．，使得f不属于除A 以外的任何一个极大封闭集，则A属于最小覆盏。 ．在部分多值逻辑函数完备性理论中，罗铸楷将露中的全部极大封闭集分为 7类，分别是：^u{}l，完满对称函数集‘。，拟线性函数集0．三型函数集 k．单纯可离函数集S，，正则可离函数集靠一保E函数集珏。 这里赠曼蚧翔正则可离函数集S。．。．其它极大封闭集定义见文[1]。 霉纛白抟科掌薹叁钲助项甘(啪8枷I) ——。～～ …～百一F褒砸菲一一 对称群，H是s．的子群。 ． 设G，G．(R．，．．，R。)uG二I，Ⅳ是G。(R，R，…，R)的对称群 (即对任意盯EH，G：=(a州)…．，a。㈨Ia”．．，a．EGJ)， G二：瓦U磅U…U研一-(q∈H)，其中：