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

摘 要 多值逻辑是计算机科学中的一个重要分支。随着计算机科学与技术的不断进 步，多值逻辑得到了前所未有的发展，其研究主要包括理论、电路与系统、应用 三个方面的内容。 多值逻辑函数的完备性理论是多值逻辑理论研究中的一个重要的研究课题,此 问题的解决依赖于定出多值逻辑函数集中的所有准完备集(又称极大封闭集) 。 Sheffer 函数的判定是又多值逻辑完备性理论中的一个重要问题，此问题的解 决可归结为定出所有准完备集的最小覆盖。完全多值逻辑函数中 Sheffer 函数的判 定已由 Schofield 和 Kudrjavcev 等完全解决。但部分多值逻辑函数中 Sheffer 函 数的判定尚未彻底解决。 本论文主要讨论了部分四值逻辑中准完备集之最小覆盖的判定问题。重点研 究了P* 中保三、四元正则可离关系函数集之最小覆盖的判定。 4 本论文共分五章。在第一章中，主要介绍了本研究课题的学术背景、来源和主要 的研究内容。 在第二章中，概述了多值逻辑函数结构理论。首先介绍了完全多值逻辑函数 结构理论中的基本概念和重要研究成果，然后介绍了部分 K