deductive algorithm

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