TY JOUR TI Binary logic bases KW boolean function KW functionally complete system KW basis KW special class of functions JO Transport automation research AU Efanov, D.. AU Dmitriev, V.. PY 2015 IS 1 PB FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"