МЕТОД СИНТЕЗА СИСТЕМ ДИАГНОСТИРОВАНИЯ НА ОСНОВЕ ЛОГИЧЕСКОГО ДОПОЛНЕНИЯ С УМЕНЬШЕННЫМ ЧИСЛОМ ЭЛЕМЕНТОВ ПРЕОБРАЗОВАНИЯ