Оцените презентацию от 1 до 5 баллов!
Тип файла:
ppt / pptx (powerpoint)
Всего слайдов:
18 слайдов
Для класса:
1,2,3,4,5,6,7,8,9,10,11
Размер файла:
131.58 kB
Просмотров:
81
Скачиваний:
0
Автор:
неизвестен
Слайды и текст к этой презентации:
№1 слайд
№2 слайд
Содержание слайда: Равносильные преобразования
Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре.
Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики.
№3 слайд
Содержание слайда: Под упрощением формулы, понимают равносильное преобразование, приводящее к формуле, которая
Под упрощением формулы, понимают равносильное преобразование, приводящее к формуле, которая
либо содержит по сравнению с исходной меньшее число операций конъюнкции и дизъюнкции и инверсий
не содержит отрицаний неэлементарных формул, либо содержит их меньшее число
№4 слайд
Содержание слайда: 1. Закон двойного отрицания
Двойное отрицание исключает отрицание.
№5 слайд
Содержание слайда: 2. Переместительный (коммутативный) закон
— для логического сложения:
А + B = B + A
— для логического умножения:
A*B = B*A
№6 слайд
Содержание слайда: 3. Сочетательный
(ассоциативный) закон
— для логического сложения:
(A + B) + C = A+ (B + C)
— для логического умножения:
(A*B)*C = A*(B*C)
№7 слайд
Содержание слайда: 4. Распределительный (дистрибутивный) закон
— для логического сложения:
(A + B)*C = (A*C) + (B*C)
— для логического умножения:
A*B + C = (A + C)*(B+ C)
№8 слайд
Содержание слайда: 5. Закон общей инверсии
(законы де Моргана)
— для логического сложения
№9 слайд
Содержание слайда: 6. Закон идемпотентности
— для логического сложения:
A + A = A
— для логического умножения:
A*A = A
Закон означает отсутствие показателей степени.
№10 слайд
Содержание слайда: 7. Законы исключения констант
— для логического сложения:
A + 1 = 1, A+ 0 = A;
— для логического умножения:
A* 1 = A, A* 0 = 0
№11 слайд
Содержание слайда: 8. Закон противоречия
Невозможно, чтобы противоречащие высказывания были одновременно истинными.
№12 слайд
Содержание слайда: 9. Закон исключения третьего
Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе — ложно, третьего не дано.
№13 слайд
Содержание слайда: 10. Закон поглощения
— для логического сложения:
A + (A* B) = A;
№14 слайд
Содержание слайда: 11. Закон исключения (склеивания)
— для логического сложения:
№15 слайд
Содержание слайда: Логические законы и правила преобразования логических выражений
Закон тождества: всякое высказывание тождественно самому себе.
А=А
Закон непротиворечия: высказывание не может быть одновременно истинным и ложным.
А * А=0
Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано.
А + А=1
Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание.
А=А
№16 слайд
Содержание слайда: Логические законы и правила преобразования логических выражений
Законы Моргана:
А +В=А * В
А * В=А + В
№17 слайд
Содержание слайда: Таблицы истинности совпадают, следовательно, логические выражения равносильны: A&B= A&B
Таблицы истинности совпадают, следовательно, логические выражения равносильны: A&B= A&B
Докажите , используя таблицы истинности, что логические выражения А۷В и А&В равносильны
№18 слайд
Содержание слайда: Домашнее задание
Докажите справедливость первого закона Моргана , используя таблицы истинности.
Докажите справедливость второго закона Моргана , используя таблицы истинности.