Практическая работа «Упрощение логических формул»
методическая разработка по информатике и икт (11 класс) по теме
Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики.
Скачать:
Вложение | Размер |
---|---|
![]() | 107 КБ |
Предварительный просмотр:
Практическая работа № 3
«Упрощение логических формул»
Основные понятия и определения
Равносильные преобразования логических формул имеют то же назначение, что и преобразования формул в обычной алгебре. Они служат для упрощения формул или приведения их к определённому виду путем использования основных законов алгебры логики.
Под упрощением формулы, не содержащей операций импликации и эквиваленции, понимают равносильное преобразование, приводящее к формуле, которая либо содержит по сравнению с исходной меньшее число операций конъюнкции и дизъюнкции и не содержит отрицаний неэлементарных формул, либо содержит меньшее число вхождений переменных.
Некоторые преобразования логических формул похожи на преобразования формул в обычной алгебре (вынесение общего множителя за скобки, использование переместительного и сочетательного законов и т.п.), тогда как другие преобразования основаны на свойствах, которыми не обладают операции обычной алгебры (использование распределительного закона для конъюнкции, законов поглощения, склеивания, де Моргана и др.).
ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ
Закон | Для ИЛИ | Для И |
Переместительный | ||
Сочетательный | ||
Распределительный | ||
Правила де Моргана | ||
Равносильности | ||
Поглощения | ||
Склеивания | ||
Операция переменной с ее инверсией | ||
Операция с константами | ||
Двойного отрицания |
Цель работы:
- Научиться использовать законы алгебры логики для упрощения логических формул.
Ход работы:
- Проверить равносильности двумя способами: построив таблицу истинности и упростив левую и правую части.
- Упростить логические формулы.
Примечание. Все задания выполняются в соответствии с номером варианта.
Вариант 1
;
;
Вариант 2
;
.
Вариант 3
.
Вариант 4
.
Вариант 5
;
.
Вариант 6
;
.
Вариант 7
;
.
Вариант 8
;
.
Вариант 9
;
.
Вариант 10
;
.
Вариант 11
;
.
Вариант 12
;
.
Вариант 13
;
.
Вариант 14
;
.
Вариант 15
;
.
По теме: методические разработки, презентации и конспекты
Контрольная работа "Упрощение логической функции"
10 вариантов - по 4 задания в каждом. Проверка навыков применять Законы логики для упрощения функций, построение Таблиц истинности для проверки правильности упрощения....
![](/sites/default/files/pictures/2016/09/10/picture-254898-1473520035.jpg)
Презентация к уроку по теме "Законы булевой алгебры и упрощение логических выражений"
К уроку информатики...
Элементы алгебры логики (Упрощение логических выражений)
В презентации рассматриваются законы упрощения логических выражений, их формулировка и запись. Теоретический материал сопровождается примерами и заданиями....
Небольшой сборник самостоятельных работ по построению Таблиц Истинности (разного уровня сложности) и по упрощению Логических выражений.
В данном небольшом сборнике представлены самостоятельные работы по построению таблиц истинности логических выражений (два уровня сложности) с ответами. Ответы представлены в 8-ричной системе счи...
![](/sites/default/files/pictures/2012/01/23/picture-50809.jpg)
Проверочная работа по упрощению логических выражений и по логическим схемам
Работа проверяет знания учащихся на упрощение логических выражений по основным логическим законам и построению и распознованию логических схем....
Практическая работа, проверка усвоения материала по теме: "Упрощение логических выражений". (10 класс)
Практическая работа, проверка усвоения материала по теме: "Упрощение логических выражений".Данная работа выполняет проверку:1) уровня освоения замены операций в выражениях, через через ...
Сборник самостоятельных работ по построению Таблиц Истинности (разного уровня сложности) и по упрощению Логических выражений.
В данном небольшом сборнике представлены самостоятельные работы по построению таблиц истинности логических выражений (два уровня сложности) с ответами. Ответы представлены в 8-ричной системе счисления...