Functions of the algebra of logic that can be realized by read-once formulas over finite bases are studied. Necessary and sufficient conditions are derived under which functions of the algebra of logic are read-once in pre-elementary bases {−, ·,∨, 0, 1, x1 · . . . · xn ∨ \( {\overline{x}}_1 \)· . . . · \( {\overline{x}}_n \)} and {−, ·,∨, 0, 1, x1(x2 ∨ x3 · . . . · xn) ∨ x2\( {x}_2{\overline{x}}_3 \) · . . . · \( {\overline{x}}_n \)} where n ≥ 4. This completes the description of classes of read-once functions of the algebra of logic in all pre-elementary bases.
Similar content being viewed by others
References
B. A. Subbotovskaya, “Comparison of bases for the realization by formulas of functions of an algebra of logic,” Dokl. Akad. Nauk SSSR, 149, No. 4, 784-787 (1963).
D. Yu. Cherukhin, “Algorithmic criteria of comparison of Boolean bases,” in Mat. Vopr. Kiber., Iss. 8, 77-122 (1999).
I. K. Sharankhaev, “Realization of Boolean functions by repetition-free formulas in a particular base,” Sib. Math. J., 50, No. 1, 188-192 (2009).
N. A. Peryazev, Elements of Theory of Boolean Functions [in Russian], Fizmatlit, Moscow (1999).
I. K. Sharankhaev, “On repetition-free Boolean functions over pre-elementary monotone bases,” Diskr. Mat., 21, No. 2, 88-93 (2009).
K. D. Kirichenko, “Repetition-free criteria for Boolean functions in various bases,” in Optimization, Control, and Intellect [in Russian], Iss. 4, Irkutsk (2000), pp. 93-101.
K. D. Kirichenko, “Weakly repetition-containing Boolean functions in some pre-elementary base,” in Diskr. Mat. Inform., Iss. 13, Irkutsk University, Irkutsk (2000).
I. K. Sharankhaev, “On classification of bases of Boolean functions,” Vest. Buryat. Univer., Ser. 13, No. 3, 261-67 (2006).
N. A. Peryazev and I. K. Sharankhaev, “Criteria for Boolean functions to be repetition-free in pre-elementary bases of rank 3,” Diskr. Mat., 17, No. 2, 127-138 (2005).
I. K. Sharankhaev, “On repetition-free Boolean functions in some bases,” Vest. Buryat. Univer., No. 9, 237-243 (2010).
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by a grant of Buryat State University.
Translated from Algebra i Logika, Vol. 58, No. 2, pp. 271-284, March-April, 2019.
Rights and permissions
About this article
Cite this article
Sharankhaev, I.K. Read-Once Functions of the Algebra of Logic in Pre-Elementary Bases. Algebra Logic 58, 186–195 (2019). https://doi.org/10.1007/s10469-019-09536-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-019-09536-0