Яндекс реклама
Преобразование булевых операций
Blog/Proger
Булевы операции в программировании

Преобразование булевых операций

Основные равносильности алгебры высказываний. Для выполнения процесса упрощения формул заданы приоритеты



Законы

1 Закон двойного отрицания: ¬¬А = А .

2 Коммутативные законы: А ∨ В = В ∨ А;
А ^ В = В ^ А .

3 Ассоциативные законы: А ∨ (В ∨ С) = (А ∨ В) ∨ С;
А ^ (В ^ С) = (А ^ В) ^ С.

4 Дистрибутивные законы: А ∨ (В ^ С) = (А ∨ В) ^ (А ∨ С);
А ^ (В ∨ С) = (А ^ В) ∨ (А ^ С).

5 Законы идемпотентности: А ^ А = А;
А ∨ А = А.

6 Законы де Моргана: ¬ (А ∨ В) = ¬ А ^ ¬ В;
¬ (А ^ В) = ¬ А ∨ ¬ В.

7 Законы нуля и единицы: А ∨ 1 = 1;
А ^ 0 = 0;
А ∨ 0 = А;
А ^ 1 = А.

8 Законы поглощения: А ∨ (А ^ В) = А;
А ^ (А ∨ В) = А.

9 Закон исключенного третьего: А ∨ ¬ А = 1.

10 Закон противоречия: А ^ ¬ А = 0.






Машина Тьюринга

Булевы логические операции

Репост статьи



22 октября 2021 г.

Хостинг
Как выбрать хостинг
Хостинг

Что такое хостинг, как выбрать хостинг

Комментарии могут оставлять только зарегестрированные пользователи!



Комментарии


Ваш комментарий будет первым !