Троирование является одним из широко используемых на практике подходов к обеспечению надежности функционирования логических схем. Однако появившиеся в последние годы возможности одновременного внесения в каждую копию и соответствующие линии вредоносных подсхем (Trojan Circuits) делают метод троирования уязвимым. Возникает необходимость противостоять таким угрозам. Одним из выходов в этой ситуации является использование вместо идентичных трех схем двух аппроксимирующих схем и одной рабочей схемы, выполняющей предписанное разработчиком функционирование. Этот подход приводит к появлению незащищенной области, в которой неисправность одной из трех схем может быть не обнаружена. Предлагается строить аппроксимирующие схемы, начиная с построения аппроксимирующих систем булевых функций, являющихся заданием на их синтез. Показано, что этот подход дает больше возможностей для сокращения незащищенной области, чем известные ранее методы. Приведены алгоритмы получения аппроксимирующих систем булевых функций из безызбыточной системы ДНФ рабочей схемы и алгоритм оценки величины незащищенной области.