Logical synthesis of the control algorithm in a system with Boolean variables. - Oleg V. German; O. I. Sadovskaya (Autom. Remote. Control., 2014)