An application of the p-valued input, q-kind-valued output logic to the synthesis of the p-valued logical networks

The concept of p-valued input, q-kind-valued output logic (2⩽q⩽p, 3⩽p) is proposed. Low-cost p-valued logical networks can be realized by selecting the appropriate value q. The condition for s-(p,q)-logical completeness is derived (0⩽s⩽q). Some relationships between the s and the logical manifold are observed. It is found that the logical manifold increases rather radically as s becomes small