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

True

False

неможливо визначити

6

True

False

Визначити неможливо

3

1

True

False

Визначити неможливо

15

1

True

False

Визначити неможливо

15

1

речення

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

фраза

словосполучення

2+2= 4 або 3*3=8

2+2= 4 або 3*3=9

2+2= 3 або 3*3=9

2+2= 3 або 3*3=8

2+2=4 і 3+4=7

2+2=4 і 3+4=6

 2+2=4 або 3+4=6

2+2=3 і 3+4=6

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

4<12

3>5

Існує ціле число, яке ділиться на всі цілі числа

хибність

істинність

чіткість

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

real

integer

boolean

true

x and y

x or y

x or x

not x

true i integer

 false i real

integer i real

true i false

заперечення, і, або

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

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

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

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

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

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

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

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

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

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

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