Realization of not everywhere defined functions of the algebra of logic (Q799665)

Let \(P_ 3\) be the set of functions of 3-valued logic. For \(y\in\{0,1,2\}^ n\) denote \(A(y):=\{z\in\{0,1\}^ n:z_ i=y_ i\) if \(y_ i\in\{0,1\}\), \(i=1,2,...,n\}\). Define the map \(F_ y:P_ 3\to P_ 3\) as follows: \(F_ yf(x):=f(x)\) if f(A(y))\(\in\{0,1\}\), \(F_ yf(x):=2\) in other cases. (Here \(x\in\{0,1,2\}^ n.)\) In a previous paper of the author [Probl. Kibern. 30, 319-325 (1975; Zbl 0414.94040)] it was proved that \(F_ yP_ 3\) is not closed under superpositions. In this paper the author introduces the so-called ''quasisuperposition'' operation and gives necessary and sufficient conditions for \(F_ yP_ 3\) to be closed under quasisuperposition. A similar theorem is proved for \(F_ yP_ 4\).