Логические законы Богданова Л.М., учитель информатики МБОУ СОШ п. Надвоицы

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

2. Переместительный (коммутативный) закон ДЛЯ СЛОЖЕНИЯ АvВ = ВvА ДЛЯ УМНОЖЕНИЯ A ˄ B = B ˄ A

3. Сочетательный (ассоциативный) закон ДЛЯ СЛОЖЕНИЯ (АvВ)vС = Аv(ВvС) ДЛЯ УМНОЖЕНИЯ (A ˄ B) ˄ С = А ˄ (B ˄ С)

4. Распределительный (дистрибутивный) закон ДЛЯ СЛОЖЕНИЯ (АvВ) ˄ С = (А ˄ С)v(В ˄ С) ДЛЯ УМНОЖЕНИЯ (A ˄ B)vС = (АvС) ˄ (BvС)

5. Законы де Моргана ДЛЯ СЛОЖЕНИЯ АvВ = А ˄ В ДЛЯ УМНОЖЕНИЯ A ˄ B = АvВ

6. Закон идемпотентности ДЛЯ СЛОЖЕНИЯ АvА = А ДЛЯ УМНОЖЕНИЯ A ˄ А = A

7. Законы исключения констант ДЛЯ СЛОЖЕНИЯ Аv1=1, Аv0=0 ДЛЯ УМНОЖЕНИЯ A ˄ 1=А, А ˄ 0=0

8. Закон противоречия А ˄ А=0

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

10. Закон поглощения ДЛЯ СЛОЖЕНИЯ Аv(А ˄ В)=А ДЛЯ УМНОЖЕНИЯ A ˄ (АvВ)=А

11. Закон исключения (склеивания) ДЛЯ СЛОЖЕНИЯ (А ˄ В)v(А ˄ В)=В ДЛЯ УМНОЖЕНИЯ (AvB) ˄ (АvВ)=В

12. Закон импликации АВ=АvВ