Величини логічного типу та операції над ними

алгоритм

висловлювання

послідовність

вислів

істинним

правдивим

неправдивим

хибним

змінними логічного типу

змінними будь якого типу

змінними алгоритмічного типу

real

integer

true

boolean

false

заперечення

дизикція

конюктивність

кон'юнкція

диз'юнкція

not x=true

not x=folse

not x=false

not x=trie

True

False

10

True

False

2

1 виконується операція заперечення

1 виконується операція кон'юнкції

останньою виконується операція кон'юнкції

останньою виконується операція диз'юнкції

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

Кон'юнкцією логічного виразу х називають логічний вираз, значення якого дорівнює true, якщо значення логічного виразу х дорівнює false, і дорівнює false, якщо значення логічного виразу х дорівнює true.

Кон'юнкцією двох логічних виразів х і у називають логічний вираз, значення якого є true, якщо значення кожного з логічних виразів х і у є true; і є false, якщо значення хоча б одного з логічних виразів х або у є false.

Диз'юнкцією двох логічних виразів х і у називають логічний вираз, значення якого є true, якщо значення хоча б одного з логічних виразів х або у є true; і є false, якщо значення кожного з логічних виразів х і у є false.