1. Quine, W.V. The problem of simplifying of truth functions / W.V. Quine // Am. Math.
2. Monthly. - 1952. - Vol. 59, № 8. - P. 521-531.
3. McCluskey, E.J. Minimization of Boolean functions / E.J. McCluskey // Bell System Tech. J. -
4. - Vol. 35, № 6. - P. 1417-1444.
5. Zakrevskii, A.D. Logicheskii sintez kaskadnykh skhem / A.D. Zakrevskii. - M. : Nauka,
6. - 415 c.
7. Zakrevskij, A.D. Minimization of Boolean functions of many variables - iterative algorithm /
8. A.D. Zakrevskij, N.R. Toropov // Internat. Workshop on Boolean Problems. - Freiberg, Germany,
9. - P. 175-182.
10. Zakrevskii, A.D. Vektornyi metod minimizatsii bulevykh funktsii mnogikh peremen-
11. nykh / A. D. Zakrevskii // Doklady NAN Belarusi. - 2009. - T. 53, № 2. - S. 45-48.
12. Zakrevskii, A.D. Minimizatsiya bulevykh funktsii mnogikh peremennykh v klasse DNF -
13. iterativnyi metod i programmnaya realizatsiya / A.D. Zakrevskii, N.R. Toropov // Prikladnaya diskretnaya matematika. - 2009. - № 1 (3). - S. 5-14.
14. Zakrevskii, A.D. Realizatsiya sluchainykh sobytii s zadannoi veroyatnost'yu / A.D. Za-
15. krevskii // Trudy SFTI. - 1965. - Vyp. 47. - S. 56-59.
16. Zakrevskij, A.D. Parallel operations over neighbors in Boolean space / A.D. Zakrevskij //
17. Proceedings of the Sixth International Conference CAD DD-07. - Minsk, 2007. - Vol. 2. - P. 6-13.
18. Zakrevskii, A.D. Programmirovanie vychislenii v mnogomernom bulevom prostranst-
19. ve / A.D. Zakrevskii // Upravlenie, vychislitel'naya tekhnika i informatika. Vestnik Tomskogo gosudarstvennogo universiteta. - 2008. - № 2 (3). - S. 94-105.
20. Romanov, V.I. Programmnyi kompleks dlya avtomatizatsii issledovanii kombinator-
21. nykh algoritmov logicheskogo proektirovaniya / V.I. Romanov // Informatsionnye sistemy i tekhnologii» (IST’2009) : materialy V Mezhdunar. konf.-foruma, Minsk, 16-17 noyabrya 2009 g. V 2 ch. Ch. 1 ; redkol. : N.I. Listopadov [i dr.]. - Minsk : A.N. Varaksin, 2009. - S. 95-98.