根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题.%According to the completeness theory and the similar relationship theory among precomplete sets in partial k-valued logic, the minimal covering for all precomplete sets in partial four-valued logic is decided. The judgement of the Sheffer function in partial four-valued logic is solved.
展开▼