- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Законы алгебры логики. Равносильные преобразования презентация
Содержание
- 1. Законы алгебры логики. Равносильные преобразования
- 2. Равносильные преобразования Равносильные преобразования логических формул имеют
- 3. Под упрощением формулы, понимают равносильное
- 4. Равносильность формул Две формулы F и G
- 5. 1. Закон двойного отрицания Двойное отрицание исключает отрицание.
- 6. 2. Переместительный (коммутативный) закон —
- 7. 3. Сочетательный (ассоциативный) закон
- 8. 4. Распределительный (дистрибутивный) закон —
- 9. 5. Закон общей инверсии (законы де
- 10. 6. Закон идемпотентности — для
- 11. 7. Законы исключения констант —
- 12. 8. Закон противоречия Невозможно, чтобы противоречащие высказывания были одновременно истинными.
- 13. 9. Закон исключения третьего Из
- 14. 10. Закон поглощения — для
- 15. 11. Закон исключения (склеивания) —
Равносильные преобразования Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования
Слайд 2Равносильные преобразования
Равносильные преобразования логических формул имеют то же назначение, что и
преобразования формул в обычной алгебре.
Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики.
Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики.
Слайд 3 Под упрощением формулы, понимают равносильное преобразование, приводящее к формуле,
которая
либо содержит по сравнению с исходной меньшее число операций конъюнкции и дизъюнкции и инверсий
не содержит отрицаний неэлементарных формул, либо содержит их меньшее число
либо содержит по сравнению с исходной меньшее число операций конъюнкции и дизъюнкции и инверсий
не содержит отрицаний неэлементарных формул, либо содержит их меньшее число
Слайд 4Равносильность формул
Две формулы F и G называются равносильными, если на любом
наборе пропозиционных переменных λ(F) = λ(G).
Обозначения: F ≡ G.
Обозначения: F ≡ G.
Слайд 62. Переместительный (коммутативный) закон
— для логического сложения:
—
для логического умножения:
Слайд 73. Сочетательный
(ассоциативный) закон
— для логического сложения:
—
для логического умножения:
Слайд 84. Распределительный (дистрибутивный) закон
— для логического сложения:
—
для логического умножения:
Слайд 95. Закон общей инверсии
(законы де Моргана)
— для логического
сложения
— для логического умножения:
Слайд 106. Закон идемпотентности
— для логического сложения:
— для
логического умножения:
Закон означает отсутствие показателей степени.
Закон означает отсутствие показателей степени.
Слайд 128. Закон противоречия
Невозможно, чтобы противоречащие высказывания были одновременно истинными.
Слайд 139. Закон исключения третьего
Из двух противоречащих высказываний об одном
и том же предмете одно всегда истинно, а второе — ложно, третьего не дано.
