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