Разделы презентаций


Законы алгебры логики

Содержание

Равносильные преобразованияРавносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов

Слайды и текст этой презентации

Слайд 1Законы
алгебры логики

Законы алгебры логики

Слайд 2Равносильные преобразования
Равносильные преобразования логических формул имеют то же назначение, что

и преобразования формул в обычной алгебре.
Они служат для упрощения

формул или приведения их к определённому виду путем использования основных законов алгебры логики.
Равносильные преобразованияРавносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они

Слайд 3 Под упрощением формулы, понимают равносильное преобразование, приводящее к

формуле, которая
либо содержит по сравнению с исходной меньшее число

операций конъюнкции и дизъюнкции и инверсий
не содержит отрицаний неэлементарных формул, либо содержит их меньшее число
Под упрощением формулы, понимают равносильное преобразование, приводящее к формуле, которая либо содержит по сравнению с

Слайд 41. Закон двойного отрицания

    Двойное отрицание исключает

отрицание.

1. Закон двойного отрицания      Двойное отрицание исключает отрицание.

Слайд 52. Переместительный (коммутативный) закон
        — для логического сложения:
А

+ B = B + A
        — для логического

умножения:
A*B = B*A
2. Переместительный (коммутативный) закон         — для логического сложения: А + B = B + A        

Слайд 63. Сочетательный (ассоциативный) закон
        — для логического сложения:
(A

+ B) + C = A+ (B + C)
       

— для логического умножения:
(A*B)*C = A*(B*C)
3. Сочетательный  (ассоциативный) закон         — для логического сложения: (A + B) + C = A+

Слайд 74. Распределительный (дистрибутивный) закон
        — для логического сложения:
(A

+ B)*C = (A*C) + (B*C)
        — для логического

умножения:
A*B + C = (A + C)*(B+ C)
4. Распределительный (дистрибутивный) закон         — для логического сложения: (A + B)*C = (A*C) + (B*C)        

Слайд 85. Закон общей инверсии (законы де Моргана)
        — для

логического сложения
       — для логического умножения:

5. Закон общей инверсии  (законы де Моргана)         — для логического сложения       — для логического умножения:

Слайд 96. Закон идемпотентности
        — для логического сложения:
A +

A = A
        — для логического умножения:
A*A = A


Закон означает отсутствие показателей степени.
6. Закон идемпотентности         — для логического сложения: A + A = A         — для логического

Слайд 107. Законы исключения констант
        — для логического сложения:
A

+ 1 = 1, A+ 0 = A;


        — для логического умножения:
A* 1 = A, A* 0 = 0
7. Законы исключения констант         — для логического сложения: A + 1 = 1,   A+

Слайд 118. Закон противоречия
        Невозможно, чтобы противоречащие высказывания были одновременно

истинными.

8. Закон противоречия         Невозможно, чтобы противоречащие высказывания были одновременно истинными.

Слайд 129. Закон исключения третьего
        Из двух противоречащих высказываний об

одном и том же предмете одно всегда истинно, а второе

— ложно, третьего не дано.
9. Закон исключения третьего         Из двух противоречащих высказываний об одном и том же предмете одно всегда

Слайд 1310. Закон поглощения
        — для логического сложения:
A +

(A* B) = A;       
        — для логического умножения:
A* (A

+ B) = A
10. Закон поглощения         — для логического сложения: A + (A* B) = A;               — для логического

Слайд 1411. Закон исключения (склеивания)
        — для логического сложения:        
       

— для логического умножения:

11. Закон исключения (склеивания)         — для логического сложения:                — для логического умножения:

Слайд 15Логические законы и правила преобразования логических выражений
Закон тождества: всякое высказывание

тождественно самому себе.
А=А
Закон непротиворечия: высказывание не может быть одновременно

истинным и ложным.
А * А=0
Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано.
А + А=1
Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание.
А=А
Логические законы и правила преобразования логических выраженийЗакон тождества: всякое высказывание тождественно самому себе.А=А Закон непротиворечия: высказывание не

Слайд 16Логические законы и правила преобразования логических выражений
Законы Моргана:
А +В=А

* В
А * В=А + В

Логические законы и правила преобразования логических выраженийЗаконы Моргана: А +В=А * ВА * В=А + В

Слайд 17Таблицы истинности совпадают, следовательно, логические выражения равносильны: A&B= A&B
Докажите ,

используя таблицы истинности, что логические выражения А۷В и А&В равносильны

Таблицы истинности совпадают, следовательно, логические выражения равносильны: A&B= A&BДокажите , используя таблицы истинности, что логические выражения А۷В

Слайд 18Домашнее задание
Докажите справедливость первого закона Моргана , используя таблицы истинности.
Докажите

справедливость второго закона Моргана , используя таблицы истинности.

Домашнее заданиеДокажите справедливость первого закона Моргана , используя таблицы истинности.Докажите справедливость второго закона Моргана , используя таблицы

Обратная связь

Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

Email: Нажмите что бы посмотреть 

Что такое TheSlide.ru?

Это сайт презентации, докладов, проектов в PowerPoint. Здесь удобно  хранить и делиться своими презентациями с другими пользователями.


Для правообладателей

Яндекс.Метрика