На сьогоднішньому уроці ми розглянемо логічні вирази, змінні логічного типу та операціями, котрі проводять над логічними виразами.
Для цього використаємо нижче наведені матеріали та підручник Інформатика § 6.3 стор. 195.
Законспектувати в зошит:
Поняття Логічний вираз
Поняття Змінні логічного типу
Логічні операції: заперечення, кон’юнкція, диз’юнкція.
Надати відповіді на нижче наведені тести
Спочатку давайте згадаємо, що таке висловлювання.
Висловлювання — це речення, яке містить твердження про певний об'єкт або про зв'язки між об'єктами.
Висловлювання може бути
істинним
або хибним
Прикладами істинних висловлювань є:
Україна розміщена в Європі.
У жовтні 31 день.
Київ - столиця України
Прикладами хибних висловлювань є:
Пароплав пливе в хмарах.
Автомобіль плете павутиння.
3 > 5
Основною властивістю висловлювання є його істинність. Якщо висловлювання:
Істинне, то вважають, що значення його властивості істинність дорівнює true (англ. true — правда).
Хибне, то вважають, що значення його властивості істинність дорівнює false (англ. false - хиба, хибність).
Висловлювання можна розглядати як логічний вираз.
Логічним виразом називають вираз, який може набувати одне з двох значень: true або false.
Значення логічного виразу можна присвоювати певній змінній. Тобто можна використовувати такі команди присвоювання:
Логічний тип змінних позначається boolean. Наприклад:
Над логічними виразами можна виконувати логічні операції:
Запереченням логічного виразу х називають логічний вираз, значення якого дорівнює true, якщо значення логічного виразу х дорівнює false, і дорівнює false, якщо значення логічного виразу х дорівнює true.
Заперечення логічного виразу х позначають not х.
Кон'юнкцією двох логічних виразів х і у називають логічний вираз, значення якого є true, якщо значення кожного з логічних виразів х і у є true; і є false, якщо значення хоча б одного з логічних виразів х або у є false.
Диз'юнкцією двох логічних виразів х і у називають логічний вираз, значення якого є true, якщо значення хоча б одного з логічних виразів х або у є true; і є false, якщо значення кожного з логічних виразів х і у є false.
У таких виразах для логічних операцій, розглянутих вище, визначено такий пріоритет виконання операцій: спочатку виконуються операції заперечення, потім - операції кон'юнкції, потім - операції диз'юнкції.
Для змінення цього порядку виконання логічних операцій використовують дужки.
Приклад. Порядок виконання логічних операцій
Цікаві факти з історії
Означення операцій над змінними логічного типу і властивості цих операцій сформулював англійський математик та філософ Джордж Буль (1815-1864). У 1854 p. вийшла його основна робота «Дослідження законів думки, на яких засновано математичні теорії логіки та ймовірності». У ній досліджується система, яку сьогодні називають «алгеброю висловлень» або «булевою логікою». Булева логіка стала основним математичним інструментом для створення комп'ютерів.