Издательство: МГУ.
Год издания: 2003.
Страниц: 143.
Представление функций дизъюнктивными нормальными формами.
и связанные с ним задачи.
Основные понятия, относящиеся к множествам, матрицам, функциям,
формулам.
Гиперкуб и функции алгебры логики. Дизъюнктивные нормальные.
формы и связанные с ними разложения функций.
Эквивалентные преобразования формул. Полнота системы основных.
тождеств для формул базиса.
Сокращенная ДНФ и способы ее построения. Некоторые оценки длины.
Тупиковые и минимальные ДНФ. Ядро и ДНФ Квайна. Критерий.
вхождения импликант в тупиковые ДНФ, его локальность.
Особенности ДНФ для функций из некоторых классов.
Теорема Ю. И. Журавлева о ДНФ сумма минимальных.
Функция покрытия и построение всех тупиковых ДНФ. Оценка длины.
Алгоритмические трудности минимизации ДНФ. Оценки.
максимальных и типичных значений для ранга и длины ДНФ.
Задача контроля схем и тесты для таблиц. Построение всех тупиковых.
тестов, оценки длины диагностического теста.
И многое другое.
Год издания: 2003.
Страниц: 143.
Представление функций дизъюнктивными нормальными формами.
и связанные с ним задачи.
Основные понятия, относящиеся к множествам, матрицам, функциям,
формулам.
Гиперкуб и функции алгебры логики. Дизъюнктивные нормальные.
формы и связанные с ними разложения функций.
Эквивалентные преобразования формул. Полнота системы основных.
тождеств для формул базиса.
Сокращенная ДНФ и способы ее построения. Некоторые оценки длины.
Тупиковые и минимальные ДНФ. Ядро и ДНФ Квайна. Критерий.
вхождения импликант в тупиковые ДНФ, его локальность.
Особенности ДНФ для функций из некоторых классов.
Теорема Ю. И. Журавлева о ДНФ сумма минимальных.
Функция покрытия и построение всех тупиковых ДНФ. Оценка длины.
Алгоритмические трудности минимизации ДНФ. Оценки.
максимальных и типичных значений для ранга и длины ДНФ.
Задача контроля схем и тесты для таблиц. Построение всех тупиковых.
тестов, оценки длины диагностического теста.
И многое другое.