部分四值逻辑中保三、四元单纯可离关系函数集最小覆盖之确定.pdf

摘 要 多值逻辑是指一切逻辑值的取值数大于2 的逻辑。多值逻辑可以更好地解决 用二值逻辑不易解决的问题，因此有着广阔的发展前景。多值逻辑的研究主要包 括理论、电路与系统、应用等三个方面的内容。其中多值逻辑函数的完备性理论 是多值逻辑理论研究中的一个重要的研究课题。 在部分多值逻辑完备性理论中，函数系完备性之判定与 Sheffer 函数的判定 构造是两个基本而重要的问题，前者问题的解决依赖于定出部分多值逻辑函数集 中的所有准完备集（极大封闭集），而后者问题的解决归结为定出所有准完备集 的最小覆盖。 本文主要讨论了部分四值逻辑中准完备集之最小覆盖的判定问题。重点研究 了保单纯可离关系的准完备集。论文共分五章，第一章是绪论，主要介绍了本课 题的学术背景，国内外学者的研究情况介绍以及课题的主要研究内容。 在第二章中，介绍了部分多值逻辑的完备性理论，包括基本概念和基本定理， 其中重点描述了保单纯可离关系的准完备集和完备性定理等。 在第三章中，总结出一个适合一般情况的剔除定理，同时利用相似关系的性 质剔除了 90 个保三、四元单纯可离函数集中的 26 类共 58 个在最小覆盖中必不 出现的准完备集。 在第四章中，证明了第三章中未剔除的 16 类 32 个保三、四元的单纯可离 函数集必在最小覆盖中出现，从而定出了部分四值逻辑准完备集之最小覆盖中 所有保三、四元单纯可离关系的成员。 在第五章中，根据前面所做工作构造了部分四值逻辑中的部分Sheffer 函数。 关键词：部分多值逻辑；准完备集；最小覆盖；单纯可离关系；Sheffer 函数 I Abstract Multiple-valued logic is the logic that has more than two values. Multiple-valued logic can solve many problems easily while two-valued logic has too many difficulties to solve them. So multiple-valued logic has a bright future. The research of multiple-valued logic mainly includes three aspects: theory, circuit system, and its applications. The completeness of multiple-valued logic function is an important subject of multiple-valued logic theory. In the theory of multiple-valued logic completeness ，one of primary and important problems is the completeness of function sets ，which can be solved depending on the decision for all the precomplete sets of partial K-valued function sets. And another is the decision and make of sheffer functions, which can be solved by finding out all of the minimal covering of the precomplete sets. The main work of this thesis is decision