Tekstiviesti: Разработка алгоритмов логического синтеза диагностируемых и функционально устойчивых дискретных устройств