X
Код презентации скопируйте его
Логические законы и правила
Скачать эту презентацию
Презентация на тему Логические законы и правила
Скачать эту презентациюCлайд 1
ЛОГИЧЕСКИЕ ЗАКОНЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЯ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ Проект 10 «А» класса 13.03.2012
Cлайд 2
1. ЗАКОН ДВОЙНОГО ОТРИЦАНИЯ. А=А Я пойду гулять = Я не не пойду гулять Двойное отрицание исключает отрицание.
Cлайд 3
2.ПЕРЕМЕСТИТЕЛЬНЫЙ (КОММУНИКАТИВНЫЙ) ЗАКОН. - Для логического сложения: АvB = BvA Ты или я = Я или ты Для логического умножения: A&B = B&A Собака и кошка = Кошка и собака Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.
Cлайд 4
3. СОЧЕТАТЕЛЬНЫЙ (АССОЦИАТИВНЫЙ) ЗАКОН. - Для логического сложения: (AvB)vC = Av(BvC) Для логического умножения: (A&B)&C = A&(B&C) При одинаковых знаках скобки можно ставить произвольно или вообще опускать.
Cлайд 5
4. РАСПРЕДЕЛИТЕЛЬНЫЙ (ДИСТРИБУТИВНЫЙ) ЗАКОН. Для логического сложения: (AvB)vC= (A&C)v(B&C) Для логического умножения: (A&B)vC = (AvC)&(BvC) Определяет правила выноса общего высказывания за скобку.
Cлайд 6
5. ЗАКОН ОБЩЕЙ ИНВЕРСИИ (ЗАКОНЫ ДЕ МОРГАНА). Для логического сложения: AvB = A&B Для логического умножения: A&B = AvB
Cлайд 7
6. ЗАКОНЫ ИДЕМПОТЕНТНОСТИ. Для логического сложения: AvA = A Для логического умножения: A&A = A Закон означает отсутствие показателей степени.
Cлайд 8
7. ЗАКОНЫ ИСКЛЮЧЕНИЯ КОНСТАНТ. Для логического сложения: Av1 = 1, Av0 = A Для логического умножения: A&1 = A, A&0 = 0
Cлайд 9
8. ЗАКОН ПРОТИВОРЕЧИЯ. A&A = 0 Невозможно, чтобы противоречащие высказывания были одновременно истинными.
Cлайд 10
9. ЗАКОН ИСКЛЮЧЕНИЯ ТРЕТЬЕГО. AvA = 1 Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе – ложное, третьего не надо.
Cлайд 11
10. ЗАКОН ПОГЛОЩЕНИЯ. Для логического сложения: Av(A&B) = A Для логического умножения: A&(AvB) = A
Cлайд 12
11. ЗАКОН ИСКЛЮЧЕНИЯ (СКЛЕИВАНИЯ). - Для логического сложения: (A&B)v(A&B) = B - Для логического умножения: (AvB)&(AvB) = B
Cлайд 13
12. ЗАКОН КОНТРАПОЗИЦИИ (ПРАВИЛО ПЕРЕВЁРТЫВАНИЯ). (A⟺B) = (B⟺A)
Cлайд 14
ДОКАЗАТЕЛЬСТВО: Справедливость приведённых законов можно доказать табличным способом: выписать все наборы значений А и В, вычислить на них значения левой и правой частей доказываемого выражения и убедиться, что результирующие таблицы совпадут.
