Elimination of not belonging to minimal covering of preserving quaternary regularly separable relations in partial four-valued logic
Liu Ren-ren · Jisuanji yingyong yanjiu · 2009
To determine the minimal covering in partial four-valued logic,according to the completeness theory in partial K-valued logic,regularly separable relation and the similar relationship theory among precomplete sets,analyzed the minimal covering in partial four-valued logic,and proved 67 sets of 109 preserving quaternary regularly separable relations function sets not belong to the minimal covering members in partial four-valued logic.