В статье рассматривается задача трансформации графо-логических моделей, отражающих реакцию реконфигурируемых многопроцессорных систем, устойчивых к двум отказам, на появление заданного количества трёхкратных отказов. Трансформация осуществляется путем изменения дизъюнктивной формы одной или нескольких реберных функций модели добавлением некоторого количества переменных. Сформулированы и доказаны положения, позволяющие описать последовательность действий для выполнения подобной трансформации. Ключевые слова: Отказоустойчивые многопроцессорные системы, графо-логические модели, булевы функции, надёжность.
