Text this: К использованию логических методов для синтеза и анализа потенциально-импульсных релейных устройств