Структура непрерывно-логических функций

Излагается метод структурного анализа непрерывно-логических функций (НЛФ), основанный на применении теорий дистрибутивных решеток. Найдены все неразложимые в сумму НЛФ. Доказано существование и единственность канонического разложения НЛФ. Отношение порядка используется при определении простых импликант. Установлены необходимые и достаточные условия, при которых непротиворечивая фаза является простой импликантой НЛФ. Доказана однозначность минимальной дизъюнктивной нормальной формы для некоторого класса НЛФ. Дано обоснование использования консенсуса при нахождении простых импликант. Показано, что в общем случае минимальная дизъюнктивная нормальная форма НЛФ определена не однозначно.