Величини логічного типу

хибність

істинність

чіткість

неправдивість

true i integer

false i real

integer i real

true i false

real

integer

boolean

true

заперечення, диз'юнкція

конструкція, заперечення, диз'юнкція

заперечення, кон'юнкція, диз'юнкція

заперечення, кон'юнкція

"Ми учні 8-б класу?"

"Ми не є учні 8-а класу"

"Ми є учні 8-а класу"

"Ми учні 8-в класу?"

x or y

x and y

x var y

not x, not y

заперечення і кон'юнкція двох логічних виразів x і y

диз'юнкція двох логічних виразів x і y

кон'юнкція двох логічних виразів x і y 

заперечення двох логічних виразів x і y

x and y

or not x

x or not

not x

спочатку виконуються операції not, потім - or, потім - and

спочатку виконуються операції not, потім - and, потім - or

спочатку виконуються операції and, потім - or, потім - not

початку виконуються операції or, потім - and, потім - not

"3 > 5"

"2*5-4=6"

"2+2*2=8"

"Київ - столиця України?"

true

false

fols

"4<7"

"Ми учні 8 класу?"

"2+2*2=8"

Найменше натуральне число 1.

хибність

константа

істина

змінна

or

and

not

xor

or not

not

or

true

1

2

3

4

for

var

begin

end

false

true

false

true

True 

False

z : = x<y;

A : = x>y; 

C : = A Or B;

C : = A + B; 

false

fols

tru

true

false

fols

tru

true

true

false

англійський математик та філософ

американський математик та філософ

жив в 19 столітті

жив у 18 столітті

сформулював означення операцій над змінними логічного типу

сформулював означення операцій над змінними дійсного типу