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) вообще говоря, нет. Рассмотреть
< Предыдущая | Следующая > |
---|