Realization of not everywhere defined functions of the algebra of logic

DOI10.1007/BF01137228MaRDI QIDQ799665zbMATH OpenOpenAlexFDO

Authors V. V. Tarasov

Publication date 1983

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01137228

zbMATH Keywords

closure propertiesquasisuperpositionthree-valued logic functions

Mathematics Subject Classification ID

Many-valued logic (03B50)

Review text

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\).

Recommendations

• scientific article; zbMATH DE number 2207281
• On the -superposition of functions of a k-valued logic
• The S-classification of three-valued logic functions.
• A family of classes of functions closed with respect to a strengthened superposition operation
• scientific article; zbMATH DE number 4097345

Cited in

(3)

• scientific article; zbMATH DE number 3150820 (Why is no real title available?)
• scientific article; zbMATH DE number 3968585 (Why is no real title available?)
• General Criterion for Essential Nonfault Locatability of Logical Functions

This page was built for publication: Realization of not everywhere defined functions of the algebra of logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799665)