Об алгоритме построения различающей последовательности для пары состояний логической сети

Излагается алгоритм построения входной последовательности, на которой выходные сигналы логической сети имеют разные значения в зависимости от того, в каком из двух возможных технических состояний находится сеть.