共查询到20条相似文献,搜索用时 15 毫秒
1.
关于部分K值逻辑中Sheffer函数判定的一些结果(I) 总被引:5,自引:2,他引:3
根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在PK^*中极大封闭集之最小覆盖中必需出现. 相似文献
2.
部分三值逻辑中准完备集的最小复盖 总被引:21,自引:4,他引:17
刘任任 《湘潭大学自然科学学报》1991,13(2):158-165
根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。 相似文献
3.
部分K值逻辑中准完备集之最小复盖的一些结果(Ⅰ) 总被引:12,自引:5,他引:12
刘任任 《湘潭大学自然科学学报》1992,14(1):123-129
根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。 相似文献
4.
关于部分K值逻辑Sheffer函数(IV) 总被引:2,自引:0,他引:2
根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在Pk^n的极大封闭集之最小覆盖中必不出现. 相似文献
5.
关于部分K值逻辑Sheffer函数判定的一些结果(II) 总被引:6,自引:1,他引:5
根据部分多值逻辑的完备性理论,证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。 相似文献
6.
关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ) 总被引:3,自引:1,他引:3
根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在P*K中极大封闭集之最小覆盖中必需出现. 相似文献
7.
8.
关于部分K值逻辑中准完备集之最小复盖的一些结果(Ⅱ) 总被引:9,自引:5,他引:9
刘任任 《湘潭大学自然科学学报》1993,15(2):141-148
根据部分K值逻辑的完备性理论,证明了L型函数集L_(G4,2)是P_K~*中准完备集之最小复盖的必要组成部分。 相似文献
9.
关于K值Sheffer函数 总被引:2,自引:0,他引:2
罗铸楷 《湘潭大学自然科学学报》1998,20(3):1-8
在完全多值逻辑函数中,定出了图形仅含圈环且模为K+3的Shefer函数之充要条件,从而给出了大量新的Shefer函数. 相似文献
10.
关于部分K值逻辑Sheffer函数(Ⅳ) 总被引:1,自引:0,他引:1
根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在P*k的极大封闭集之最小覆盖中必不出现. 相似文献
11.
关于部分K值逻辑Sheffer函数(III) 总被引:1,自引:0,他引:1
根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 . 相似文献
12.
13.
根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集. 相似文献
14.
首次提出了广义线性置换,并定出其划定的充要条件,同时还定出了几类新的一元多值逻辑函数的完备集. 相似文献
15.
许芬 《海南师范大学学报(自然科学版)》2006,19(3):222-224
根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围. 相似文献
16.
根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决. 相似文献
17.
罗铸楷 《湘潭大学自然科学学报》1987,(4)
多值逻辑的研究是计算机科学技术中的一个十分重要的领域,它与未来计算机密切相关。国际上技术先进的国家如美国、苏联、日本、加拿大等都十分重视。自1971年以来每年召开一次国际会议,完全多值逻辑函数的完备性理论自四十年代起始终是多值逻辑中引入注目的,活跃的课题之一。本文总结了近代的发展情况和主要的新成果,并对仅有中文的结论以简要的证明。 相似文献
18.
本文主要讨论了在μ非原子、F可积有界的条件下,集值随机变量F积分闭包的凸性及何时积分为闭集等问题.重要的是,定理6比原定理更具有普遍性. 相似文献
19.
设Fayp’a1p1+…+ampm是非冗余析取范式,文字y可消等价于文字y在F‘=ayp’+a1p1…atpt中要消,这里α≤min{a1,…,at},p1,…,pt不含文字y。 相似文献
20.