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