logo
ИНФОРМАТИКА ОТВЕТЫ

Логические операции

Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение:

НЕ  Операция, выражаемая словом «не», называется отрицанием и обозначается чертой над высказыванием (или знаком ¬).   Высказывание ¬A истинно, когда A ложно, и ложно, когда A истинно. Пример: A – «Я умею программировать», ¬A– «Я не умею программировать».

И    Операция, выражаемая связкой «и», называется конъюнкцией (лат. conjunctio – соединение) или логическим умножением и обозначается точкой « . » (также приняты обозначения знаками Λ или &). Высказывание А Λ В истинно тогда и только тогда, когда оба высказывания А и В истинны. Пример: A – «сдал зачеты», B – «сдал зачеты», A Λ B – «сдал сессию».

ИЛИ    Операция, выражаемая связкой «или», называется дизъюнкцией (лат. disjunctio – разделение) или логическим сложением и обозначается знаком V (используются также ǁ, ǀ, +, OR ). Высказывание А V В ложно тогда и только тогда, когда оба высказывания А и В ложны.   Пример: A – «подключена мышь», B – «подключен джойстик», A V B – «подключены манипуляторы».

ЕСЛИ-ТО   Операция, выражаемая связками   «если ..., то»,  «из ... следует»,  «... влечет ...»,  называется импликацией (лат. implico – тесно связаны) и обозначается знаком →. Высказывание А→В ложно тогда и только тогда, когда  А  истинно,  а  В  ложно. Пример: A – «любишь оперу», B – «любишь классическую музыку», А→В – «если любишь оперу, то любишь классическую музыку».

РАВНОСИЛЬНО   Операция, выражаемая связками «тогда и только тогда», «необходимо и достаточно», «... равносильно ...», называется эквиваленцией или двойной импликацией и обозначается знаками  ↔ , ~, ≡.   Высказывание А↔В истинно тогда и только тогда, когда значения А и В совпадают. Пример: A – «индикатор включения горит», B –«компьютер включен», А↔В – «индикатор включения горит тогда и только тогда, когда компьютер включен»

Импликацию можно выразить через  дизъюнкцию  и  отрицание: А →В = ¬A V В.

Эквиваленцию можно выразить через отрицание, дизъюнкцию и конъюнкцию: А↔В = (¬A V В) Λ (¬В V А).

Порядок выполнения логических операций задается круглыми скобками. Но для уменьшения числа скобок договорились считать, что сначала выполняется операция отрицания («не»), затем конъюнкция («и»), после конъюнкции – дизъюнкция («или») и в последнюю очередь – импликация.

  1.