1. V. B. Alekseev, Lectures on Discrete Mathematics. A Tutorial (Infra-M, Moscow, 2012) [in Russian].
2. A. A. Voronenko, ‘‘On verifying tests for read-once functions,’’ Mat. Vopr. Kibern., No. 11, 165–176 (2002).
3. C. E. Shannon, ‘‘A symbolic analysis of relay and switching circuits,’’ Trans. Am. Inst. Electr. Eng. 57 (12), 713–723 (1938).
4. D. F. Kaftan, ‘‘Testing nonrepeated functions in a median extended elementary basis,’’ Prikl. Mat. Inf., No. 66, 104–110 (2021).
5. V. A. Stetsenko, ‘‘On premaximal bases in $$P_{2}$$,’’ Mat. Vopr. Kibern., No. 4, 139–177 (1992).