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

Алгоритм

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

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

Вислів

Істинним

Чесним

Хибним

Брехливим

хибне

істинне

Істинне

Хибне

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

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

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

real

integer

boolean

true

false

заперечення

кон'юкція

дизикція

диз'юнкція

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

not x=true

not x=folse

not x=false

not x=filse

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

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

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

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

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

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

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

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

a=0, b=0 то a and b =0

a=0, b=1 то a and b =0

a=1, b=1 то a and b =1

a=1, b=0 то a and b =0

a=0, b=0 то a or (a and b) =0

a=0, b=1 то a or (a and b) =1

a=1, b=0 то a or (a and b) =1

a=1, b=1 то a or (a and b) =0