Read-Once Functions of the Algebra of Logic in Pre-Elementary Bases

Abstract

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, x₁ · . . . · x_n ∨ \( {\overline{x}}_1 \)· . . . · \( {\overline{x}}_n \)} and {−, ·,∨, 0, 1, x₁(x₂ ∨ x₃ · . . . · x_n) ∨ x₂\( {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.