
- •Ахметова Наиля Абдулхамитовна
- •Введение
- •1. Элементы комбинаторики
- •1.1. Перестановки. Размещения. Сочетания
- •Теорема.
- •1.2. Задачи по комбинаторике
- •2. Функции алгебры логики
- •2.1. Элементарные функции алгебры логики
- •Пример 2.
- •2.2. Формульное задание функций алгебры логики
- •Упрощение записи формул:
- •Теорема о замене подформул на эквивалентные
- •Некоторые свойства элементарных функций
- •Следствия из свойств элементарных функций
- •Пример 3:
- •2.3 Принцип двойственности
- •Пример 1. Покажем с помощью таблицы истинности, что константа 0 двойственна к 1:
- •Пример 3. Покажем, что функция х1х2 двойственна к x1&x2, функция х1х2 двойственна к функции x1|x2.
- •Принцип двойственности
- •Лемма о несамодвойственной функции
- •2.4 Разложение булевой функции по переменным
- •Теорема о разложении функции по переменным
- •2.5. Полнота, примеры полных систем
- •Полные системы
- •Представление функции в виде полинома Жегалкина
- •Теорема Жегалкина
- •2.6. Замыкание и замкнутые классы
- •Важнейшие замкнутые классы в р2
- •Теорема Поста о полноте
- •Примеры использования теоремы Поста.
- •3. Составим критериальную таблицу для другой полной системы функций из р2: {0, 1,x1x2,x1x2}.
- •Теорема о достаточности четырех функций.
- •2.7. Функции k - значной логики
- •Теорема о полной в Рk системе функций
- •2.8. Задачи и упражнения по функциям алгебры логики
- •1. Построить таблицы соответствующих функций, выяснить, эквивалентны ли формулы и :
- •2. Построив таблицу для соответствующих функций, убедитесь в справедливости следующих эквивалентностей:
- •3. Минимизация булевых функций
- •3.1. Минимизация нормальных форм
- •Алгоритм Квайна построения сокращенной днф.
- •Метод Блейка
- •Алгоритм построения сокращенной днф с помощью кнф (метод Нельсона)
- •Построение всех тупиковых днф.
- •Алгоритм минимизации функций в классе днф
- •Алгоритм минимизации функций в классе кнф
- •Алгоритм минимизации функций в классе нормальных форм
- •3.2 Минимизация частично определенных функций
- •Алгоритм минимизации частично определенных функций в классе днф
- •Алгоритм минимизации частично определенных функций в классе кнф
- •Метод минимизирующих карт Карно
- •3.3 Задачи по минимизации и доопределению булевых функций
- •4. Логика высказываний
- •4.1. Введение в логику высказываний
- •4.2. Задачи по алгебре высказываний
- •Список литературы
2.8. Задачи и упражнения по функциям алгебры логики
При оперировании с функциями алгебры логики бывают полезны следующие эквивалентности (большинство из них называют обычно основными эквивалентностями алгебры логики). Построив таблицу для соответствующих функций, убедитесь в справедливости следующих эквивалентностей:
–коммутативность связки , где символ является общим обозначением для связок &, , , ~, |, .
–ассоциативность связки , где – общее обозначение для связок &,,,~.
Дистрибутивность
а)
–
дистрибутивность конъюнкции относительно
дизъюнкции;
б)
–
дистрибутивность дизъюнкции относительно
конъюнкции;
в)
– дистрибутивность конъюнкции
относительно сложения по mod
2.
4.
а);
б)
суть
правила де Моргана;
5.
а); б)
суть
правила поглощения;
6.
а); б)
;
7.
а); б)
;
в);
г)
;
д)
;
8.
а);
б);
в)
;
9.
а);
б)
.
1. Построить таблицы соответствующих функций, выяснить, эквивалентны ли формулы и :
,
;
,
,
;
,
;
,
;
,
;
,
;
,
;
,
;
,
.
Ответы: 2), 6), 9), 10) – эквивалентны; 3), 7) – не эквивалентны.
2. Построив таблицу для соответствующих функций, убедитесь в справедливости следующих эквивалентностей:
;
;
;
;
;
;
;
;
;
;
.
3. Используя приведенные выше основные эквивалентности и соотношения докажите эквивалентность формул V и U:
1),
;
2),
;
3),
;
4),
;
5),
;
6),
;
7),
;
8),
;
9),
;
10),
.
Ответы:
4)
;
9)
4. Используя непосредственно определение двойственности булевых функций, а также основные эквивалентности и соотношения, выясните, является ли функция g двойственной к функции f:
1),
;
2)
,
;
3),
;
4),
;
5),
;
6),
;
7),
;
8),
;
9),
;
10),
;
11),
;
12),
.
Ответы:
4),
.
Значит, g
не двойственна к f.
6) – не является; 8),9),11) – является.
5. Используя принцип двойственности, постройте формулу, реализующую функцию, двойственную к функции f, и убедитесь в том, что полученная формула эквивалентна формуле V:
1),
;
2),
;
3),
;
4),
;
5),
;
6),
;
7),
;
8),
;
9),
;
10),
.
Ответы:
1)
2); 5)
; 10)
.
6. Указать все фиктивные переменные у функции f:
1)
2)
3)
4)
5)
6)
Ответы:1)две фиктивные переменные; 3)одна фиктивная переменная; 5)фиктивные переменные x1 и x3.
7. Показать, что x1 – фиктивная переменная у функции f (реализовав для этой цели функцию f формулой, не содержащей явно переменную x1):
1);
2);
3);
4)
5)
6)
7)
8)
9)
10)
Ответы: 4),8),10) 9)
8. Выяснить, можно ли из функции f , отождествляя и переименовывая в ней переменные, получить функцию g:
1),
2),
3),
4),
5),
6),
7),
;
8),
;
9),
;
10),
.
Ответы: 1),2),5),7),8),9),10)можно. 3),4),6)нельзя.
9. Представить в СДНФ следующие функции:
1);
2)
3)
4)
5)
6)
7)
8)
9)
10)
Ответы:
2);
4)
,
7)
10. Представить в СКНФ следующие функции:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Ответы:
1); 2)
;
6)
; 8)
11. С помощью эквивалентных преобразований построить ДНФ функции
:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Ответы:
4)
10)
12. Используя эквивалентные преобразования, построить КНФ функции
:
1)
2);
3)
4)
5)
6)
7)
Ответы:
1)
3)
6)
13.
Применяя преобразования вида
и
построить
из заданной ДНФ функции
ее совершенную ДНФ:
1)
2)
3)
4)
5)
6)
7)
8)
Ответы:
2)
5)
14.
С помощью преобразований вида
и
построить из данной КНФ функции
ее совершенную КНФ:
1)
2)
3)
4)
5)
6)
7)
8)
Ответы:
1)
5)
15.
Используя дистрибутивный закон
и эквивалентности
и
перейти от заданной КНФ функции
к ДНФ:
1)
2)
3)
4)
5)
6)
7)
Ответы:
3)
6)
16.
Используя дистрибутивный закон
и эквивалентности
и
перейти от заданной ДНФ функции
к
ее КНФ:
2)
3)
4)
5)
6)
7)
8)
Ответы:
2)
5)
17. Методом неопределенных коэффициентов найти полиномы Жегалкина для следующих функций:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Ответы:
1)3)
6)
10)
18. Методом треугольника Паскаля построить полином Жегалкина для этой функции, если:
1)2)
3)4)
5)6)
7)8)
9)10)
Ответы:
1)4)
7)
19.
Представив функцию
формулой над множеством связок {&,
},
преобразуйте полученную формулу в
полином Жегалкина функции
(используя эквивалентности
):
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Ответы:
1)
3)
9)
20. Построить множество всех функций, зависящих от переменных x1,x2 и принадлежащих замыканию множества А:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
Ответы: 1)2)
3)
4)5)
6)
21.
Покажите, что
,
выразив
формулой над множеством А:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
Ответы:
1)2)
3)
4)
5)
6)
7)
22.
Выписать все попарно неконгруэнтные
функции
,
принадлежащие замыканию множества А:
1)
2)
3)
4)
5) 6)
7)
8)
9)
10)
Ответы:
1) 2)
3)
4)
5)
23. Из полной для класса [A] системы выделить базис:
1)2)
3)
4)
5)6)
7)8)
9)
10)
Ответы: 1)2)
3)
4)
5)
24. Сведением к заведомо полным системам в P2 показать, что множество А является полной системой в P2:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Ответы:
1)система
является полной вP2,
поскольку всякая
может быть представлена в виде ДНФ или
КНФ. С другой стороны,
2)
имеем
Система
полна, поскольку
3)
имеем
;
4)
имеем
;
5)
имеем
;
25. Выяснить, является ли функция f самодвойственной:
1)
3)
5)
7)
2)
4)
6)
8)
9)
11)
13)
15)
10)
12)
14)
Ответы: 1),3),4),8),10) – является; 2),5),6),7),9) – не является.
26. Выяснить, является ли самодвойственной функция f, заданная векторно:
1)
3)
5)
7)
9)
11)
13)
15)
2)
4)
6)
8)
10)
12)
14)
Ответы: 1),3),5),6),7),8) – является; 2),4),9),10) – не является.
27. Выяснить, является ли множество А самодвойственным:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
Ответы: 1),3),5-7),10) – является; 2),4),8),9) – не является.
28. Представив функцию f полиномом, выяснить, является ли она линейной:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
Ответы: 2),3),5),6),8),9)–является. 1),4),7),10)–не является.
29. Выяснить, является ли линейной функция f, заданная векторно:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
Ответы: 1),3),4),5),7),8),9),10) – является; 2),6) – не является.
30. Доказать, что система А полна в L. Выяснить, является ли система A базисом в L:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
Ответы:
1)с помощью суперпозиции из функции
можно получить любую функцию вида
,
путем подстановки 1-любую функцию вида
СистемаА
является базисом;
2),3),4),5),7),8),9) – является; 6),10) – не является.
31. Выяснить, принадлежит ли функция f множеству T1\T0:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Ответы: 1),3),4),6),8),9) – является; 2),5),7),10) – не является.
32. Подсчитать число функций, зависящих от переменных x1,…,xn и принадлежащих множеству А:
1);
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
19)
20)
21)
22)
23)
24)
25)
26)
27)
28)
29)
30)
31)
32)
33)
34)
35)
36)
37)
38)
39)
40)
41)
42)
43)
44)
45)
Ответы:
1);
2)
;
3)22n;
4)
;
5)
6)2n;
7)
;
8)
;
9)
;
10)
;
15) 0.
33. Доказать, что:
Указание:
если
то
если
то
34. Выяснить, является ли множество А базисом в классе К:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
Ответы:
1)да. Имеем
;
2)
А
не является базисом в T1,так
как
;
А не является базисом в T1,так как
;
А не является базисом в T1,так как
;
А не является базисом в T1,так как
;
А – базис в
.
35.
По вектору значений
выяснить, является ли функцияf
монотонной:
1)
2)
3)
4)
5)
6)
7)
8)
Ответы: 2),3),5),8) – является; 1),4),6),7) – не является.
36. Проверить, является ли функция f монотонной:
1)
2)
3)
4)
5)
6)
7)
8)
Ответы: 1),2),4),6),7) – является; 3),5),8) – не является.
37. Выяснить, полна ли система функций:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Ответы:
2),4),6) – полна; 1)нет,3)нет,
5)нет,
38. Выяснить, полна ли система А функций, заданых векторами своих значений:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Ответы:
3),5) – полна; 1)нет,2)нет,
4)нет,
6)нет,
39. Выяснить, полна ли система А:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
Ответы:
1),4),6) – полна; 2)нет,3)нет,
5)нет,
40. Проверить,является ли система функций А базисом в Р2:
1)
2)
3)
4)
5)
6)
7)
8)
Ответы:1)
нет, так как подсистема
полна;
2) является; 3) не является,
4)нет, можно удалить
41. Из полной в Р2 системы А выделить всевозможные базисы:
1)
2)
3)
4)
5)
6)
7)
8)
Ответы:
1)где
2)
42. Используя теоретико- множественные операции, выразить через известные замкнутые классы T0, T1, L, S, M и P2 замыкания множества А:
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
Ответы:
1)P2;
2)
3)
4)
5)
6)
43. Выяснить, можно ли расширить до базиса в Р2 множество А:
1)
2)
3)
4)
5)
6)
7)
8)
Ответы:
1) можно,
–
базис; 2) нельзя, функцияx
входит во все предполные классы; 3) можно,
–
базис; 4) нет, функции
и
принадлежат одним и тем же предполным
классам.
44.
Выяснить, полна ли система функций
1)
2)
3)
4)
Ответы:
1)вообще говоря, нет. Рассмотреть
2)да,
имеем
3)
вообще говоря, нет. Рассмотреть
4)
вообще говоря, нет. Рассмотреть