(В ⋀ А ⋁ В) ⋁ ¬(А ⋁ ¬В) ⋁¬А = В ⋁ (¬А ⋀ В) ⋁¬А = В ⋁ ¬А
Схема
А ¬ ☐| |
| ∨ |
В | |
¬ ☐ - это прямоугольник и в нем знак отрицания
знак ⋁ - тоже в прямоугольнике
(В ⋀ А ⋁ В) ⋁ ¬(А ⋁ ¬В) ⋁¬А = В ⋁ (¬А ⋀ В) ⋁¬А = В ⋁ ¬А
Схема
А ¬ ☐| |
| ∨ |
В | |
¬ ☐ - это прямоугольник и в нем знак отрицания
знак ⋁ - тоже в прямоугольнике