№ 1 (2021) Ефанов Д. В., Зуева М. В., Осадчий Г. В. КОДЫ БЕРГЕРА В СХЕМАХ ВСТРОЕННОГО КОНТРОЛЯ, РЕАЛИЗОВАННЫХ НА ОСНОВЕ МЕТОДА ЛОГИЧЕСКОГО ДОПОЛНЕНИЯ