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