Содержание
- 2. Мета лекції Отримання знань щодо алгебри логіки
- 3. Питання, що будуть розглянуті Логічні (булеві) функції. Алгебра логіки. Повні набори функцій Канонічні форми булевих функцій.
- 4. 1. Логічні (булеві) функції
- 5. Вступ до алгебри логіки Порівняння основних властивостей множин та логіки висловлювань показало, що ці властивості мають
- 6. Вступ до алгебри логіки Математична логіка є сучасний вид формальної логіки, науки, що вивчає умовиводи з
- 7. Логічні (булеві) змінні Означення 1.1. Логічними (булевими) змінними в булевій алгебрі називають величини, які незалежно від
- 8. Логічні (булеві) змінні Ці значення будемо позначати нулем (0) й одиницею (1), маючи на увазі, що
- 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. 2. Алгебра логіки
- 35. Поняття формули в алгебрі логіки
- 36. Поняття формули в алгебрі логіки
- 37. Приклади формул в алгебрі логіки
- 38. Приклади формул в алгебрі логіки
- 39. Зв’язок між функцією та формулою в алгебрі логіки
- 40. Зв’язок між функцією та формулою в алгебрі логіки
- 41. Зв’язок між функцією та формулою в алгебрі логіки. Приклад
- 42. Рівносильні формули
- 43. Еквівалентність формул
- 44. Закони булевої алгебри
- 45. Універсальність функції Шефера
- 46. Універсальність функції Шефера
- 47. Універсальність функції Шефера
- 48. Універсальність функції стрілки Пірса-Вебба
- 49. Універсальність функції стрілки Пірса-Вебба
- 50. Універсальність функції стрілки Пірса-Вебба
- 51. 3. Повні набори функцій
- 52. Повні набори функцій
- 53. Повні набори функцій
- 54. Повні набори функцій
- 55. Повні набори функцій
- 56. Повні набори функцій
- 57. 4. Канонічні форми булевих функцій
- 58. Тотожно істинна формула
- 59. Тотожно хибна та здійсненна формули
- 60. Проблема розв’язуваності
- 61. Проблема розв’язуваності
- 62. Проблема розв’язуваності
- 63. ДДНФ і ДКНФ
- 64. Елементарна кон’юнкція
- 65. Диз’юнктивна нормальна форма
- 66. Диз’юнктивна нормальна форма
- 67. Диз’юнктивна нормальна форма. Приклад
- 68. Диз’юнктивна нормальна форма. Приклад
- 69. Диз’юнктивна нормальна форма
- 70. Досконала диз’юнктивна нормальна форма
- 71. Досконала диз’юнктивна нормальна форма
- 72. Досконала диз’юнктивна нормальна форма. Приклад
- 73. Спосіб «розгортання» ДНФ до вигляду ДДНФ деякої функції, що залежить від n змінних
- 74. Ще один спосіб «розгортання», виходячи з табличного представлення
- 75. Спосіб «розгортання», виходячи з табличного представлення. Приклад
- 76. Спосіб «розгортання», виходячи з табличного представлення. Приклад
- 77. Спосіб «розгортання», виходячи з табличного представлення. Приклад
- 78. Спосіб «розгортання», виходячи з табличного представлення. Приклад
- 79. Спосіб «розгортання», виходячи з табличного представлення. Приклад
- 80. Елементарна диз’юнкція
- 81. Кон’юктивна нормальна форма
- 82. Довершена кон’юктивна нормальна форма
- 83. Довершена кон’юктивна нормальна форма
- 84. Спосіб «розгортання» КНФ деякої функції до вигляду ДКНФ
- 85. Спосіб «розгортання» КНФ деякої функції до вигляду ДКНФ. Приклад
- 86. Спосіб «розгортання» за табличним поданням функції
- 87. Спосіб «розгортання» за табличним поданням функції. Приклад
- 88. Спосіб «розгортання» за табличним поданням функції. Приклад
- 89. Спосіб «розгортання» за табличним поданням функції. Приклад
- 90. 5. Спрощення формул
- 91. Спрощення формул
- 92. Утворення скороченої ДНФ методом Квайна
- 93. Операції повного склеювання та поглинання
- 94. Теорема Квайна
- 95. Метод Квайна. 1 етап. Початкове скорочення формули.
- 96. Метод Квайна. 1 етап. Початкове скорочення формули.Приклад
- 97. Метод Квайна. 1 етап. Початкове скорочення формули.Приклад
- 98. Метод Квайна. 1 етап. Початкове скорочення формули.Приклад
- 99. Метод Квайна. 1 етап. Початкове скорочення формули.Приклад
- 100. Метод Квайна. 1 етап. Початкове скорочення формули.Приклад
- 101. Метод Квайна. 1 етап. Початкове скорочення формули.Приклад
- 102. Метод Квайна. 2 етап. Розставляння міток.
- 103. Метод Квайна. 2 етап. Розставляння міток. Приклад
- 104. Метод Квайна. 3 етап. Знаходження суттєвих доданків.
- 105. Метод Квайна. 3 етап. Знаходження суттєвих доданків.
- 106. Метод Квайна. 3 етап. Розставляння міток. Приклад
- 107. Метод Квайна. 4 етап. Викреслювання зайвих стовпців.
- 108. Метод Квайна. 5 етап. Викреслювання зайвих кон’юнкцій скороченої ДНФ.
- 109. Метод Квайна. 6 етап. Вибір мінімального покриття.
- 110. Метод Квайна. 6 етап. Вибір мінімального покриття. Приклад
- 111. Питання, що були розглянуті Логічні (булеві) функції. Алгебра логіки. Повні набори функцій Канонічні форми булевих функцій.
- 113. Скачать презентацию