ВУЗ:
Составители:
Рубрика:
77
Перечень вопросов контрольной работы № 2
Типовые задачи
1. Построить минимальное представление исходной функции
с помощью алгоритма Куайна-МакКлоски и последующего
выделения ядра.
2.
Проверить является ли высказывание логическим
следствием (двумя способами: любая из двух теорем и
метод резолюций).
3.
Найти предваренную и скулемовскую нормальные формы
для формулы.
4.
Проверить принадлежность функции классам монотонных
функций, самодвойственных функций, линейных функций.
2. итоговых семестровых испытаний
Итоговые вопросы
1. Основные понятия теории множеств.
2.
Понятие прямого произведения множеств.
3.
Определение алгебры и подалгебры. Функции алгебры
логики.
4.
Соответствия и функции в теории множеств.
5.
Булева алгебра и свойства булевых операций.
6.
Принцип двойственности и свойство двойственности.
7.
Совершенная дизъюнктивная нормальная форма.
8.
Построение СДНФ для функции, заданной таблицей.
9.
Совершенная конъюнктивная нормальная форма.
10.
Основные эквивалентные преобразования и их
доказательства.
11.
Полином Жегалкина.
12.
Алгоритм Куайна-МакКлоски.
13.
Определение фиктивных и существенных переменных.
14.
Понятие двойственности и примеры двойственных и
самодвойственных функций.
15.
Определение минимальной, кратчайшей и неизбыточной
ДНФ.
