Содержание
-
Логические законы
Богданова Л.М., учитель информатики МБОУ СОШ п. Надвоицы
-
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В
Нет комментариев для данной презентации
Помогите другим пользователям — будьте первым, кто поделится своим мнением об этой презентации.