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

      Логічним виразом називають вираз, який може набувати одне з двох значень: true або false.
      Висловлювання є прикладом логічного виразу. Якщо висловлювання істинне, то вважають, що значення відповідного логічного виразу дорівню true. Якщо висловлювання хибне, то вважають, що значення відповідного логічного виразу дорівнює  false.
      Змінні, які можуть набувати одне з двох значень true або false, називають змінними логічного типу. Логічний тип змінних позначається boolean. Змінні логічного типу також вважаються логічними виразами.
       У логічних виразах для логічних операцій, розглянутих вище, визначено такий пріоритет виконання операцій: спочатку виконуються операції заперечення, потім - операції кон'юкції, потім - операції диз'юнкції. Для змінення цього порядку виконання логічних операцій використовують дужки.
      Для обчислення значень логічного виразу можна використати таблицю істинності. У ній потрібно розглянути всі можливі значення змінних логічного типу, що входять до цього виразу