Преобразование булевых операций
Основные равносильности алгебры высказываний. Для выполнения процесса упрощения формул заданы приоритеты
Законы
1 Закон двойного отрицания: ¬¬А = А .
2 Коммутативные законы: А ∨ В = В ∨ А;
А ^ В = В ^ А .
3 Ассоциативные законы: А ∨ (В ∨ С) = (А ∨ В) ∨ С;
А ^ (В ^ С) = (А ^ В) ^ С.
4 Дистрибутивные законы: А ∨ (В ^ С) = (А ∨ В) ^ (А ∨ С);
А ^ (В ∨ С) = (А ^ В) ∨ (А ^ С).
5 Законы идемпотентности: А ^ А = А;
А ∨ А = А.
6 Законы де Моргана: ¬ (А ∨ В) = ¬ А ^ ¬ В;
¬ (А ^ В) = ¬ А ∨ ¬ В.
7 Законы нуля и единицы: А ∨ 1 = 1;
А ^ 0 = 0;
А ∨ 0 = А;
А ^ 1 = А.
8 Законы поглощения: А ∨ (А ^ В) = А;
А ^ (А ∨ В) = А.
9 Закон исключенного третьего: А ∨ ¬ А = 1.
10 Закон противоречия: А ^ ¬ А = 0.
Машина Тьюринга
Булевы логические операции
Репост статьи
22 октября 2021 г.
Комментарии
Ваш комментарий будет первым !
