Законы логики

1. Переместительный

A v B = B v A
A & B

2. Сочетательный

(A v B) v C = A v (B

3. Распределительный

A v (B & C) = (A v B)

4. Непротиворечия

A & A = 0

5. Исключение третьего

A v A = 1

6. Двойного отрицания

A = A

7. Де Моргана

A v B = A & B
A &

8. Поглощения

A v (А & В) = A
A & (А

9. Замена импликации

A B = A v B
A B =

10. Замена эквивалентности

A B = (A v B) & (A

11. Свойства констант

0 = 1
A v 0 = A
A

Задача 1

Упростите сложное высказывание:

(A & B) v (A & B) =
=

Задача 2

Упростите сложное высказывание:

A v B =