Decision on Function of One Simple Separable Relation for the Minimal Covering of P*K
2014 ◽
Vol 496-500
◽
pp. 2303-2305
Keyword(s):
In the function structure theory of multi-logic, decision on Sheffer function is an important role. It contains structure and decision of full multi-logic and partial multi-logic. Its decision is closely related to decision of completeness of function which can be done by deciding the minimal covering of full multi-logic and partial-logic. By theory of completeness of partial multi-logic, we prove that function of one simple separable ralation is not minimal covering of P*K under the condition of m=2, σ=e .