The Determination on Minimal Covering of Regular Separable Function Sets in Partial Four-Valued Logic
2010 ◽
Vol 143-144
◽
pp. 1285-1289
Keyword(s):
The Many
◽
In the structure theory of many-valued logic function, the decision and constitution of the Sheffer function is a very important problem, which is reduced to the decision of the minimal covering of precomplete sets in the many-valued logic function sets. According to the completeness theory in partial k-valued logic and the similar relationship theory among precomplete sets, in this paper, the methods of determination on the minimal covering of regular separable function sets are found out, and the minimal covering of regular separable function sets in partial four-valued logic are decided.
2014 ◽
Vol 496-500
◽
pp. 2303-2305
Keyword(s):
1982 ◽
Vol 40
◽
pp. 274-277
1983 ◽
Vol 41
◽
pp. 362-365
Keyword(s):
1978 ◽
Vol 36
(1)
◽
pp. 340-341
Keyword(s):