TURBO PASCAL:Учебное пособие. Терёхин В.В. - 30 стр.

UptoLike

ВУЗ: 

НФИ КемГУ | Новокузнецк

Составители: 

Рубрика: 

30
not Х - ("отрицание") данное логическое выражение
истинно, когда X— ложно и ложно, когда X— истинно.
Используя операции отношения на множестве логи-
ческих значений можно определить и другие операции матема-
тической логики.
Например:
(X, Y:Boolean)
Х<= Y- импликация;
Х ≡ Y— эквивалентность;
Х <> Y— исключающее или.
Сами логические операции очень удобно определять с
помощью таблиц истинности, в которых единица соответству-
ет логическому значению true, а ноль - false.
Пусть X и Y это логические операнды. Для все-
возможных комбинаций их значений построим таблицу ис-
тинности логических выражений X and Y, X or Y, X xor Y,
not X, X<=Y, Х ≡ Y.
X Y X and Y X or Y Х <> Y Х<= Y X≡Y not Х
0 0 0 0 0 1 1 1
0 1 0 1 1 1 0 1
1 0 0 1 1 0 0 0
1 1 1 1 0 1 1 0
При анализе сложных логических выражений тоже
очень удобно пользоваться таблицами истинности, предвари-
тельно разбив выражение на элементарные части.
Пример: 
      not Х - ("отрицание") данное логическое выражение
истинно, когда X— ложно и ложно, когда X— истинно.
      Используя операции отношения на множестве логи-
ческих значений можно определить и другие операции матема-
тической логики.
      Например:

      (X, Y:Boolean)
      Х<= Y- импликация;
      Х ≡ Y— эквивалентность;
      Х <> Y— исключающее или.

       Сами логические операции очень удобно определять с
помощью таблиц истинности, в которых единица соответству-
ет логическому значению true, а ноль - false.
       Пусть X и Y это логические операнды. Для все-
возможных комбинаций их значений построим таблицу ис-
тинности логических выражений X and Y, X or Y, X xor Y,
not X, X<=Y, Х ≡ Y.

 X   Y    X and Y   X or Y   Х <> Y   Х<= Y   X≡Y   not Х

 0   0      0         0        0       1       1      1

 0   1      0         1        1       1       0      1

 1   0      0         1        1       0       0      0

 1   1      1         1        0       1       1      0


       При анализе сложных логических выражений тоже
очень удобно пользоваться таблицами истинности, предвари-
тельно разбив выражение на элементарные части.

      Пример:
                                                            30

Страницы