Висловлювання – це речення, яке містить твердження про певний об’єкт або про зв’язки між об’єктами та про яке можна однозначно сказати, істинне воно чи хибне.
Логічним виразом називається вираз, який може набувати одне з двох значень: true або false.
Висловлювання можна розглядати як логічний вираз. Якщо висловлювання істинне, то вважають, що значення відповідного логічного виразу дорівнює true. Якщо висловлювання хибне, то вважають, що значення відповідного логічного виразу дорівнює false.
Змінні, які можуть набувати одного з двох значень, true або false, називаються змінними логічного типу. Логічний тип змінних позначається boolean (bool).
Змінні логічного типу також вважаються логічними виразами.
Над логічними виразами можна виконувати логічні операції: заперечення, кон’юнкцію, диз’юнкцію.
Запереченням логічного виразу х називається логічна операція, результат якої дорівнює true, якщо значення логічного виразу х дорівнює false, і дорівнює false, якщо значення логічного виразу х дорівнює true.
Кон’юнкцією двох логічних виразів x і y називається логічна операція, результатом якої є true, якщо значення кожного з логічних виразів x і y є true, і є false, якщо значення хоча б одного з логічних виразів x або y є false.
Диз’юнкцією двох логічних виразів x і y називається логічна операція, результатом якої є true, якщо значення хоча б одного з логічних виразів x або y є true, і є false, якщо значення кожного з логічних виразів x і y є false.
У логічних виразах для логічних операцій, розглянутих вище, визначено такий пріоритет виконання операцій: спочатку виконуються операції заперечення, потім – операції кон’юнкції, а далі – операції диз’юнкції. Для змінення цього порядку виконання логічних операцій використовують дужки.
Для обчислення значень логічного виразу можна використати таблицю істинності. У ній потрібно розглянути всі можливі значення змінних логічного типу, що входять до цього виразу.
(стор. 213-214 підручника "Інформатика, 8 клас" (Й.Я. Ривкінд та їнші)) - додайте результат роботи у розділі Ваші роботи на платформі Google ClassRoom:
4. Нехай А = «Сергієнко вивчає англійську мову», В = «Сергієнко має оцінку 8 з інформатики». Сформулюйте висловлювання:
а) А and not B;
б) not А or B;
в) A or not A and B;
г) not A and not B and А.
5. Укажіть порядок виконання логічних операцій у таких логічних виразах:
а) a or not a and b;
б) not a or not b and а;
в) (a or not b) and (not a or not b);
г) not a and not b or c and d.
6. Складіть таблиці істинності логічних виразів зі змінними логічного типу a і b, використовуючи електронні таблиці Excel:
а) a or a and b;
б) a or not a and b;
в) a or b or not b;
г) (a or not b) and (a or not b);
д) not a or not b;
е) a and (not b or a) and b;
ж) a and (b or c) or not a;
з) a or b and c or not b.
за підручником "Інформатика, 8 клас" (Й.Я. Ривкінд та їнші):
Прочитайте та розберіть теоретичний матеріал пункту 6.7 (стор. 208-212).
Дайте усні відповіді на питання 1-6 (стор. 213).
Виконайте вправу 2 (стор. 213)
Скриншот результату тесту прикріпіть у розділі Ваші роботи на платформі Google ClassRoom: