- •Алгебра высказываний
- •1. Что называется высказыванием.
- •2. Истинное и ложное высказывание.
- •3. Составные высказывания (сложные)
- •4. Логические операции над высказываниями и их определения
- •5. Основные символы, используемые в теории высказываний
- •6. Простейшие связки
- •7. Таблицы истинности высказываний и их построение
- •8. Основные законы алгебры высказываний
- •9. Булевы функции.
- •10. Построение таблицы истинности для булевых функций.
- •11. Что такое днф и кнф.
- •13. Как булевы функции связаны с формулами алгебры высказываний.
- •14. Определение многочлена Жегалкина.
- •15. Теорема Жегалкина
- •16. Алгоритм построения многочлена Жегалкина
- •I. Алгоритм
- •II. С помощью неопределённых коэффициентов
- •17. Функционально полные системы функции.
- •18. Принцип двойственности Теорем Поста и Шефферские функции.
- •Теория множеств
- •19. Понятие множ-ва, элементы множ-ва. (множ-ва - множества)
- •20. Способы задания множества.
- •22. Операции над множествами
- •23. Диаграммы Эйлера Венна
- •24. Свойства алгебры множеств
- •25. Определение Декартового произведения
- •27. Бинарные отношения на множестве
- •28. Свойства бинарных отношений
- •29. Отношение эквивалентности.
- •30. Отношение порядка
- •Предикаты
- •31. Что называется предикатами, примеры предикатов
- •32. Область истинности предикатов
- •33. Операции над предикатами
- •34. Предикатная формула
- •36. Кванторы и кванторные операции над предикатами.
- •37. Исчисление предикатов и аксиомы исчисления предикатов.
9. Булевы функции.
Ф-ция f зависящая от n-переменных x1, x2…x3 называется булевой или переключательной если функция f и любой из её аргументов принимают значение только из множества {0;1}.
10. Построение таблицы истинности для булевых функций.
Ну вы таблицу-то сможете построить, правда ведь?
11. Что такое днф и кнф.
Дизъюнкция конечного множества элементарных конъюнкций называется дизъюнктивной нормальной формой(ДНФ).
ДНФ – формула, равносильная данной формуле и являющейся дизъюнкцией элементарных конъюнкций. Пример: (x1Ʌx2)V(x1Ʌx3Ʌx2)x2
ДНФ содержащая только полные элементарные конъюнкции называется совершенной ДНФ(или СДНФ)
Конъюнкция конечного множества элементарных дизъюнкций называется конъюнктивной нормальной формой(или сокращенно КНФ). КНФ – формула, равносильная данной формуле и являющейся конъюнкцией элементарных дизъюнкций.
Пример: Тоже самое что в ДНФ, только галочки поменять местами наоборот.
12. Правила преобразования формул СДНФ и СКНФ.
Совершенная дизъюнктивная нормальная форма формулы (СДНФ) это равносильная ей формула, представляющая собой дизъюнкцию элементарных конъюнкций, обладающая свойствами
1. Каждое логическое слагаемое формулы содержит все переменные, входящие в функцию F(x1,x2,...xn)
2. Все логические слагаемые формулы различны
3. Ни одно логическое слагаемое не содержит переменную и её отрицание
4. Ни одно логическое слагаемое формулы не содержит одну и ту же переменную дважды. СДНФ можно получить или с помощью таблиц истинности или с помощью равносильных преобразований. Для каждой функции СДНФ и СКНФ определены единственным образом с точностью до перестановки.
13. Как булевы функции связаны с формулами алгебры высказываний.
ОТВЕТ НЕ ТОЧНЫЙ!
Булевы функции, как и формулы алгебры высказываний принимают значения из множества {0;1}. А так же операции в булевых функциях означают тоже самое что и формулы алгебры высказываний. --- Это короче если совсем ответить нечего. Главное с умным видом говорите.
14. Определение многочлена Жегалкина.
Многочленом Жегалкина называется многочлен, являющийся суммой константы 0 или 1 и различных одночленов, в которые все переменные входят не выше, чем в первой степени(так написано в конспекте).
Многочленами Жегалкина называются формулы над множеством функций FJ={ 0, 1, *, +} (здесь * - это другое обозначение конъюнкции). Таким образом, каждый многочлен Жегалкина (возможно, после раскрытия скобок и "приведения" подобных членов) представляет сумму (по модулю 2) положительных (монотонных) элементарных конъюнкций (т.е. элементарных конъюнкций без отрицаний). – а так написано на интуите.
15. Теорема Жегалкина
Каждая булева функция единственным образом представляется в виде полинома Жегалкина.
-
Многочлен Жегалкина константы равен самой константе.
-
Многочлен Жегалкина булевой функции одной переменной имеет вид: f(x)=a0a1x
-
Многочлен Жегалкина булевой функции двух переменных: f(x1,x2)=a0a1x1a2x2a12(x1Ʌx2)
-
Многочлен Жегалкина булевой функции трёх переменных: f(x1,x2,x3)= a0a1x1a2x2a3x3a12(x1Ʌx2)a13(x1Ʌ x3)a23(x2Ʌ x3)a123(x1Ʌ x2Ʌ x3)
Коэфф. a1…I и a0 принимают значения 0 или 1. Число слагаемых в формуле равно 2n, где n- число слагаемых.
- сумма Жегалкина или сумма по мод.2