ЗДО_Математическая логика и теория алгоритмов (ФИТиКС)

Математическая логика и теория алгоритмов

1. Cложное высказывание, истинное тогда и только тогда, когда все составляющие его простые высказывания истинны, называется:
2. Cложное высказывание, истинное тогда и только тогда, когда составляющие его простые высказывания либо вместе истинны, либо вместе ложны называется:
3. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_10.jpg" />
4. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_11.jpg" />
5. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_12.jpg" />
6. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_13.jpg" />
7. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_14.jpg" />
8. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_15.jpg" />
9. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_15.jpg" />
10. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_16.jpg" />
11. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_16.jpg" />
12. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_39.jpg" />
13. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_40.jpg" />
14. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_41.jpg" />
15. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_42.jpg" />
16. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_43.jpg" />
17. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_44.jpg" />
18. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_7.jpg" />
19. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_8.jpg" />
20. <img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_9.jpg" />
21. Вставьте пропущенное слово:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_37.jpg" />
22. Вставьте пропущенные слова:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_38.jpg" />
23. Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (0,0,1), имеет вид:
24. Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (0,0,1), имеет вид:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_21_4.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_21_1.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_21_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_21_3.jpg" />
25. Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (0,1,1), имеет вид:
26. Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (0,1,1), имеет вид:
27. Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (1,0,1), имеет вид:
28. Дизъюнктивный одночлен, принимающий значение 0 на наборе значений переменных (1,0,1), имеет вид:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_20_3.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_20_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_20_4.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_20_1.jpg" />
29. Импликация –логическая связь между двумя простыми высказываниями (суждениями), выраженная в языке посредством союза „если…, то…“. Логический смысл импликации определяется следующим образом:
30. Какие из следующих утверждений верны:
31. Какие из следующих утверждений верны:
32. Какие из следующих формул логики предикатов являются нормальными:
33. Какие из следующих формул логики предикатов являются нормальными:
34. Какие из следующих формул логики предикатов являются приведенными:
35. Какие из следующих формул логики предикатов являются приведенными:
36. Какие из следующих формул логики предикатов являются равносильными:
37. Какие из следующих формул логики предикатов являются равносильными:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_34_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_34_1.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_34_3.jpg" />
38. Какие из следующих функций f₂ двойственны к функциям f₁:
39. Какие из следующих функций f₂ двойственны к функциям f₁:
40. Какие из следующих функций f₂ двойственны к функциям f₁:
41. Какие из следующих функций f₂ двойственны к функциям f₁:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_26_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_26_1.jpg" />
42. Какие из следующих функций сохраняют “0”:
43. Какие из следующих функций сохраняют “0”:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_30_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_30_1.jpg" />
44. Какие из следующих функций являются линейными:
45. Какие из следующих функций являются линейными:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_29_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_29_1.jpg" />
46. Какие из следующих функций являются монотонными:
47. Какие из следующих функций являются монотонными:
48. Какие из следующих функций являются монотонными:
49. Какие из следующих функций являются монотонными:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_27_1.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_27_2.jpg" />
50. Какое из следующих утверждений верно:
51. Конъюнктивный одночлен, принимающий значение 1 на наборе значений переменных (0,1,1), имеет вид:
52. Конъюнктивный одночлен, принимающий значение 1 на наборе значений переменных (0,1,1), имеет вид:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_17_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_17_3.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_17_1.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_17_4.jpg" />
53. Конъюнктивный одночлен, принимающий значение 1 на наборе значений переменных (1,0,0), имеет вид:
54. Конъюнктивный одночлен, принимающий значение 1 на наборе значений переменных (1,0,0), имеет вид:<img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_18_2.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_18_1.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_18_4.jpg" /><img src="/close/store/examRes/%7B2F1E6B01-83CF-4D6E-9136-22938F1B1B89%7D/Mat_logika_18_3.jpg" />
55. Обобщением какой операции является связывание квантором общности:
56. Обобщением какой операции является связывание квантором существования:
57. Сколько существует булевых функций от двух переменных:
58. Сколько существует булевых функций от одной переменной:
59. Сложное высказывание, истинное тогда и только тогда, когда истинно хотя бы одно из составляющих его простых высказываний называется
60. Сложное высказывание ложное тогда и только тогда, когда первое простое высказывание истинно, а второе ложно называется