Презентация - Свойства логических операций

Свойства логических операций

Порядок выполнения логических операций
Инверсия Конъюнкция Дизъюнкция Импликация Эквиваленция

Законы логики
1. Коммутативный (переместительный) закон A & B = B & A A v B = B v A 2. Ассоциативный (сочетательный) закон (A & B) & C = A & (B & C) (A v B) v C = A v (B v C)

Законы логики
3. Дистрибутивный (распределительный) закон A & (B v C) = (A & B) v (A & C) A v (B & C) = (A v B) & (A v C) 4. Закон двойного отрицания ¬¬A=A

Законы логики
5. Закон повторения A & A = A A v A = A 6. Законы исключения третьего A & ¬A = 0 A v ¬A = 1

Законы логики
7. Законы операций с 0 и 1 A & 0 = 0; A & 1 = A A v 0 = A; A v 1 = 1 8. Законы общей инверсии (законы де Моргана) ¬(A & B) = ¬A v ¬B ¬(A v B) = ¬A & ¬B

Законы логики
9. Законы поглощения A & (A v C) = A A v (A & C) = A

Законы логики
10. Приведение к нормальной форме A → B = ¬A v B A ↔ B = (¬A v B) & (¬B v A) A B = (¬A & B) v (A &¬B)

Задание

Задание

Задание 1
Из учебника №8 (4) стр. 39 №11 (5-10) №12 стр. 40

Задание 2
Для какого из указанных значений Х истинно высказывание ¬ (( X > 2 ) → ( X > 3 ))

Задание 3