Синтез бесконтактных логических функций на примере управления лифтом с помощью программируемых логических контроллеров