Законы логики. Равносильные преобразования

Логическая равносильность, законы логики.
Два высказывания равносильны, если они одновременно истинны или одновременно ложны.
Две формулы равносильны если их эквиваленция является тавтологией (общезначима).
F1 ↔ F2 ≡ 1

Логическая равносильность, законы логики.
Равносильность – это отношение между формулами и как отношение обладает свойствами рефлексивности, симметричности, транзинтивности.
Равносильности логики высказываний называют законами логики.
Основные законы логики и основные тавтологии: законы Аристотеля, де Моргана, идемпотентности.

1. Закон двойного отрицания:
А = А.
Двойное отрицание исключает отрицание.
2. Переместительный (коммутативный) закон:
- для логического сложения:
А ∨ В=В ∨ А;
- для логического умножения:
А ⋀ В=В ⋀ А.
Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.
=

3. Сочетательный (ассоциативный) закон:
- для логического сложения:
(А ∨ В) ∨ С = А ∨ (В ∨ С);
- для логического умножения:
(А ⋀ В) ⋀ С = А ⋀(В ⋀ С).
При одинаковых знаках скобки можно ставить произвольно или вообще опускать.

4. Распределительный (дистрибутивный) закон:
- для логического сложения:
(А ∨ В) ⋀ С = (А ⋀ С) ∨(В ⋀ С);
- для логического умножения:
(А ⋀ В) ∨ С = (А ∨ С) ⋀ (В ∨ С).
Определяет правило выноса общего высказывания за скобку.

5. Закон общей инверсии (законы де Моргана):
- для логического сложения:
_____ __ __
А ∨ В = А ⋀ В;
- для логического умножения:
_____ __ __
А ⋀ В = А ∨ В.

6. Закон идемпотентности
(от латинских слов idem – тот же самый и potens – сильный; дословно – равносильный):
- для логического сложения:
А ∨ А = А;
- для логического умножения:
А ⋀ А = А.
Закон означает отсутствие показателей степени.

7. Законы исключения констант:
- для логического сложения:
А ∨ 1 = 1, А ∨ 0 = А;
- для логического умножения:
А ⋀ 1 = А, А ⋀ 0 = 0.
8. Закон противоречия:
_
А ⋀ А = 0.
Невозможно, чтобы противоречащие высказывания были одновременно истинными.

9. Закон исключения третьего:
_
А ∨ А = 1.
Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе – ложно, третьего не дано.
10. Закон поглощения:
- для логического сложения:
А ∨ (А ⋀ В) = А;
- для логического умножения:
А ⋀ (А ∨ В) = А.

11. Закон исключения (склеивания):
- для логического сложения:
_
(А ⋀ В) ∨(А ⋀ В) =В;
- для логического умножения:
_
(А ∨ В) ⋀ (А ∨ В) =В.
12. Закон контрапозиции (правило перевертывания):
(А ↔ В) = (В ↔ А).
Справедливость приведенных законов можно доказать табличным способом: выписать все наборы значений А и В, вычислить на них значения левой и правой частей доказываемого выражения и убедиться, что результирующие столбцы совпадут.

Пример 1 .
Упростить логическое выражение
________________
______
(А ∨ В) → (В ∨ С)

Пример 1 .
Упростить логическое выражение
________________
______
(А ∨ В) → (В ∨ С)
Это логическое выражение необходимо привести к нормальной форме:
________________ ______
______ ______
1. (А ∨ В) → (В ∨ С) = (А ∨ В) ⋀ (В ∨ С) импликация и отрицание

Пример 1 .
Упростить логическое выражение
________________
______
(А ∨ В) → (В ∨ С)
Это логическое выражение необходимо привести к нормальной форме:
______
______
(А ∨ В) ⋀ (В ∨ С) = (А ∨ В) ⋀ (В ∨ С) закон двойного отрицания

Пример 1 .
Упростить логическое выражение
________________
______
(А ∨ В) → (В ∨ С)
Это логическое выражение необходимо привести к нормальной форме:
(А ∨ В) ⋀ (В ∨ С) = (А ∨ В) ⋀ В ∨ ( А ∨ В) ⋀ С
правило дистрибутивности

Пример 1 .
Упростить логическое выражение
________________
______
(А ∨ В) → (В ∨ С)
Это логическое выражение необходимо привести к нормальной форме:
(А ∨ В) ⋀ В ∨ ( А ∨ В) ⋀ С = А ⋀ В ∨ В ⋀ В ∨ А ⋀ С ∨ В ⋀ С закон коммутативности и дистрибутивности производим сокращения А ⋀ В ∨ В ∨ А ⋀ С ∨ В ⋀ С

Пример 1 .
Упростить логическое выражение
________________
______
(А ∨ В) → (В ∨ С)
Это логическое выражение необходимо привести к нормальной форме:
А ⋀ В ∨ В ∨ А ⋀ С ∨ В ⋀ С = В ⋀ (А ∨ 1) ∨ А ⋀ С ∨ В ⋀ С вынесение за скобки
В ⋀ (А ∨ 1) ∨ А ⋀ С ∨ В ⋀ С = В ∨ А ⋀ С ∨ В ⋀ С упрощаем

Пример 1 .
Упростить логическое выражение
________________
______
(А ∨ В) → (В ∨ С)
Это логическое выражение необходимо привести к нормальной форме:
В ∨ А ⋀ С ∨ В ⋀ С = В ⋀ ( 1 ∨ С) ∨ А ⋀ С группируем и выносим за скобки
В ⋀ ( 1 ∨ С) ∨ А ⋀ С = В ∨ А ⋀ С упрощаем
Ответ: F = В ∨ А ⋀ С