Конспект лекций по программированию для начинающих. Гладков В.П. - 31 стр.

                                           33

   Для данных этого типа определены операции not (инверсия, логическое не,
отрицание), and (конъюнкция, логическое и), or (дизъюнкция, логическое или).
Эти операции задаются с помощью таблиц истинности.
   Одноместная логическая операция отрицание заключается в употреблении
перед логическими данными частицы «не» или слов «неверно, что».
Обозначается операция not A, где А - логическое данное.
   Таблица истинности для отрицания:
                          A      not A
                          true   false
                          false  true
Как видно из таблицы, эта операция меняет значение истинности на
противоположное.
Примеры 5.2:
  Логическое данное                        Его отрицание
  a>b                                      a<=b
  a=b                                      a<>b
  a=b
  a - четное                               а - нечетное
  На      Земле  существует    вид         Человеку известны все виды
  животных, неизвестный человеку           животных, обитающих на Земле.
  Во всякий треугольник можно              Неверно, что во всякий треугольник
  вписать окружность                       можно вписать окружность
                                           или (другой вариант)
                                           существует треугольник, в который
                                           нельзя вписать окружность
   Двуместная логическая операция - конъюнкция - вырабатывает значение
«истинно» в случае, если оба логических данных, участвующих в этой
операции, истинны. В остальных случаях вырабатывается значение «ложь». Эта
операция обозначается в Паскале and и задается следующей таблицей
истинности:
                          A        B            A and B
                          false    false        false
                          false    true         false
                          true     false        false
                          true     true         true
   Примеры 5.22:
  A                B               A and B
  Светит солнце    Ветер не дует   Светит солнце И ветер не дует
  a>0              a<5             (a>0) and (a<5) иначе 06            (a=3) and (a<>6) иначе a=3
  a<=1             a>=-1           (a<=1) and (a>=-1), иначе -1<=a<=1,
                                   иначе abs(a)<=1