Законы логики и равносильные высказывания
💻 Информатика · 7 класс
Что такое законы логики
Логические высказывания, как и числа, подчиняются определённым правилам. Законы логики — это равенства, которые верны для любых значений входящих в них высказываний. С их помощью одно логическое выражение можно заменить другим, равным по смыслу, но более простым. Два выражения называют равносильными, если при любых значениях переменных они принимают одинаковые значения истинности.
Основные законы
Переместительный закон разрешает менять местами высказывания в операциях И и ИЛИ: результат от этого не изменится. Сочетательный закон позволяет произвольно группировать высказывания скобками. Закон де Моргана показывает, как отрицание относится к операциям И и ИЛИ: отрицание «И» превращается в «ИЛИ» отрицаний, и наоборот.
| Закон | Словесная запись |
|---|---|
| Переместительный | «A и B» равно «B и A» |
| Сочетательный | скобки можно переставлять |
| Двойное отрицание | «не не A» равно «A» |
| Де Моргана | «не (A и B)» равно «не A или не B» |
Проверка равносильности таблицей
Чтобы убедиться, что два выражения равносильны, строят таблицу истинности для обоих и сравнивают столбцы результата. Если они совпадают во всех строках, выражения равносильны. Проверим закон де Моргана для двух переменных:
A B | не(A и B) | не A или не B
0 0 | 1 | 1
0 1 | 1 | 1
1 0 | 1 | 1
1 1 | 0 | 0
Столбцы совпали во всех четырёх строках — значит, выражения равносильны, и закон де Моргана подтверждён.
Частая ошибка. Применяя отрицание к выражению «A и B», нельзя просто поставить «не» перед каждой буквой, сохранив операцию И. По закону де Моргана операция при этом меняется: «И» становится «ИЛИ», а «ИЛИ» — на «И».
Зачем нужны законы
Законы логики позволяют упрощать сложные условия, например в программах и электронных таблицах. Более простое равносильное выражение легче понять и быстрее вычислить, а результат остаётся прежним.
Законы поглощения и идемпотентности
Кроме основных, есть и другие полезные законы. Закон идемпотентности гласит: «A и A» равно «A», и «A или A» тоже равно «A» — повторение высказывания ничего не меняет. Закон поглощения позволяет упрощать выражения вида «A или (A и B)» до «A». Эти законы помогают сокращать длинные условия в программах.
| Закон | Пример |
|---|---|
| Идемпотентности | «A и A» равно «A» |
| Поглощения | «A или (A и B)» равно «A» |
| Двойного отрицания | «не не A» равно «A» |
Применение в жизни
Логические законы используют не только математики. Они лежат в основе работы цифровых схем компьютера, помогают упрощать условия в электронных таблицах и программах, делают рассуждения строгими. Умение заменять выражение равносильным, но более простым, — важный навык при решении логических задач из контрольных и олимпиад.
Кратко о главном
- Законы логики верны при любых значениях высказываний.
- Равносильные выражения дают одинаковые значения истинности.
- Главные законы: переместительный, сочетательный, де Моргана.
- Равносильность проверяют сравнением таблиц истинности.
- При отрицании по де Моргану операция И меняется на ИЛИ.