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

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

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

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

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

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

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

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

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

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

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

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

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

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