Конъюнкция (логическое умножение, логическое «И»).

Операция логического умножения, соответствующая функции И, выдает в качестве

Результата значение, называемое логическим произведением.

Результат операции истинен тогда и только тогда, когда

Истинны все входящие в него простые высказывания.

На формальном языке алгебры логики операция конъюнкции

обозначается значком «&» или «^» или «*» (знаком умножения).

Например, F = A & B. Аргументы могут принимать значения 1 или 0 и результат тоже только значения 1 или 0. Значение логической

Функции F можно определить из таблицы истинности этой

Функции.

Дизъюнкция (логическое сложение, логическое «ИЛИ»).

Операция логического сложения, соответствующая функции ИЛИ, выдает в качестве

Результата значение, называемое логической суммой.

Результат операции истинен тогда, когда истинно хотя бы

Одно из входящих в него простых высказываний.

На формальном языке алгебры логики операция дизъюнкции

обозначается значком «+» или «\/». Например, F = A + B.

Аргументы могут принимать значения 1 или 0 и результат тоже

Только значения 1 или 0. Значение логической функции F можно

Определить из таблицы истинности этой функции

Вопрос № 19 ипликация и эквиваленция

Операция импликация (следование).

Операция имплекация равносильна логическому выражению A + B (не А или В).

Результат операции ложен тогда и только тогда, когда из

истинной предпосылки (первого высказывания) следует ложный

Вывод (второе высказывание).

На формальном языке алгебры логики операция импликации

обозначается значком «→». Например, F = A → B. Аргументы

Могут принимать значения 1 или 0 и результат тоже только

Значения 1 или 0. Значение логической функции F можно

Определить из таблицы истинности этой функции.

Операция эквивалентность (равенство).

Результат операции истинен тогда и только тогда, когда оба

Высказывания одновременно либо ложны, либо истинны.

На формальном языке алгебры логики операция

эквивалентности обозначается значком «~». Например, F = A ~ B.

Аргументы могут принимать значения 1 или 0 и результат тоже

Только значения 1 или 0. Значение логической функции F можно

Определить из таблицы истинности этой функции

Вопрос № 20 законы логики

Законы логики отражают наиболее важные закономерности логического мышления.

В алгебре высказываний законы логики записываются в виде формул, которые позволяют

проводить эквивалентные преобразования логических выражений в соответствие с

Законами логики.

Закон тождества.

Всякое высказывание тождественно самому себе:

А = А

Закон непротиворечия.