- •Алгебра высказываний
- •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. Исчисление предикатов и аксиомы исчисления предикатов.
16. Алгоритм построения многочлена Жегалкина
I. Алгоритм
1) Находим множество тех двоичных наборов, на которых функция принимает значение – 1.
2) Составляем СДНФ
3) В СДНФ каждый знак дизъюнкции заменяем на знак суммы Жегалкина
4) Упрощаем, если можно, полученное выражение, используя тождество: ixi =1
5) В полученной формуле каждое отрицание заменяется на x1
6) Раскрываем скобки в полученной формуле, содержащей только функции конъюнкции, суммы по модулю 2, констант равных 1.
7) Приводим подобные используя тождество: xixi=0
II. С помощью неопределённых коэффициентов
Составляем систему линейных уравнений относительно 2n неизвестных коэффициентов содержащих 2n уравнений.
Решением системы являются коэффициенты a0,a1...an многочлена Жегалкина.
17. Функционально полные системы функции.
---
18. Принцип двойственности Теорем Поста и Шефферские функции.
1. Теорема Поста
Для того, что бы некоторый набор функций K был полным, необходимо и достаточно что бы в него входили функции не принадлежащие каждому из классов Т0, Т1, L, M, S.
Заметим, что необходимость этого утверждения очевидна, так как если бы все функции из набора К входили в один из перечисленных классов, то и все суперпозиции, а значит, и замыкание набора входило бы в этот класс и класс К не мог быть полным.
Достаточность этого утверждения доказывается довольно сложно, поэтому здесь не приводится.
Из этой теоремы следует довольно простой способ выяснения полноты некоторого набора функций. Для каждой из этих функций выясняется принадлежность к перечисленным выше классам. Результаты заносятся в так называемую таблицу Поста (в нашем примере эта таблица составлена для 4-х функций, причем знаком “+” отмечается принадлежность функции соответствующему классу, знак “–” означает, что функция в него не входит).
f |
T0 |
T1 |
L |
M |
S |
f1 |
+ |
– |
+ |
– |
– |
f2 |
+ |
– |
– |
– |
+ |
f3 |
– |
+ |
– |
– |
– |
f4 |
+ |
+ |
– |
+ |
– |
2. одним из способов проверки полноты какого-то набора К является проверка того, что через функции из этого набора выражаются функции другого полного набора (можно проверить, что через функции из К можно выразить конъюнкцию и отрицание или дизъюнкцию и отрицание.
Существуют такие функции, что одна такая функция сама является базисом (здесь достаточно проверить только полноту, неизбыточность очевидна). Такие функции называются шефферовскими функциями. Это название связано с тем, что штрих Шеффера является базисом.
Перейдем теперь к выяснению полноты конкретных наборов функций. Для этого перечислим 5 важнейших классов функций:
-
Т0 – это набор всех тех логических функций, которые на нулевом наборе принимают значение 0 (Т0 – это класс функций, сохраняющих 0);
-
Т1 – это набор всех логических функций, которые на единичном наборе принимают значение 1 (Т1 – это класс функций, сохраняющих единицу) (заметим, что число функций от п переменных принадлежащих классам Т0 и Т1 равно 22n-1);
-
L – класс линейных функций т. е. функций, для которых полином Жегалкина содержит только первые степени переменных;
-
М – класс монотонных функций. Опишем класс этих функций более подробно. Пусть имеются 2 набора из п переменных:x1, x2,..., xn)
3. Для произвольных подмножеств A и B множества справедливы равенства
(1)
Свойства, записанные равенствами (1), называются принципом двойственности. Их можно прочитать следующим образом: дополнение к объединению множеств равно пересечению их дополнений, а дополнение к пересечению множеств равно объединению их дополнений. Без труда принцип двойственности переносится на произвольное число подмножеств ; при этом записывают
(2)
В этом случае символ дополнения C можно менять местами со знаком или , при этом знаки эти переходят один в другой.