Презентація "Логічні вирази. Змінні логічного типу. Логічні операції. Lazarus "

Логічні вирази. Змінні логічного типу. Логічні операції. 

Логічним виразом називається вираз, який може набувати одне з двох значень: true (англ. true – істина, істинність, правда) або false (англ. false – хиба, хибність, неправда).«Київ – столиця України» = true(3 > 5) = false.

В інформатиці використовують також змінні, значеннями яких можуть бути true або false. Змінні, які можуть набувати одного з двох значень true або false, називаються змінними логічного типу. Логічний тип змінних позначається boolean Змінні логічного типу також повинні бути описані в рядку var. Var x, y: boolean.

1 Надавати змінним логічного типу відповідні значення можна командами присвоювання. x := true або x := false 2. Змінній логічного типу можна присвоювати значення іншої логічної змінноїх := у3. Змінній логічного типу можна також присвоювати значення логічного виразу. х := 2 + 12 / 3 = 6 у := 32 < 13 Тоді змінна х матиме значення true, а змінна у – false

Запереченням логічного виразу х називається логічна операція, результат якої дорівнює true, якщо значення логічного виразу х дорівнює false, і дорівнює false, якщо значення логічного виразу х дорівнює true.

Кон’юнкцією двох логічних виразів x і y називається логічна операція, результатом якої є true, якщо значення кожного з логічних виразів x і y є true, і є false, якщо значення хоча б одного з логічних виразів x або y є false.

Диз’юнкцією двох логічних виразів x і y називається логічна операція, результатом якої є true, якщо значення хоча б одного з логічних виразів x або y є true, і є false, якщо значення кожного з логічних виразів x і y є false.

Часто використовують логічні вирази, що містять кілька логічних операцій. Наприклад, x or y and not z. У таких виразах для логічних операцій, які розглянули вище, визначено такий пріоритет виконання операцій: спочатку виконуються операції заперечення, потім – операції кон’юнкції, а за ними – операції диз’юнкції. Для змінення порядку виконання логічних операцій використовують дужки