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

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

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

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

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

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

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

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

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

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

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