Как решать уравнения алгебры логики

Видео:ЗАКОНЫ АЛГЕБРЫ ЛОГИКИСкачать

ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ

Как решать уравнения алгебры логики

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

Примеры логических выражений

С применением отрицания

Со знаком «эквивалентно»

Со знаком «следствие»

С применением конъюкции и дизъюнкции

С применением Не-и и Не-или

В калькуляторе вы сможете упростить выражения, содержащие следующие операции: NOT, XOR, AND, OR, NAND, NOR, NOT

© Контрольная работа РУ — калькуляторы онлайн

Видео:Преобразование логических выражений / Упрощение выражений (практика) [Алгебра логики] #6Скачать

Преобразование логических выражений / Упрощение выражений (практика) [Алгебра логики] #6

Где учитесь?

Для правильного составления решения, укажите:

Видео:50 уроков Информатики: Алгебра логики - второй шаг на пути к 100 баллам по КЕГЭ 2022Скачать

50 уроков Информатики: Алгебра логики - второй шаг на пути к 100 баллам по КЕГЭ 2022

Как решать уравнения алгебры логики

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

Задача: Решить систему логических уравнений:

Как решать уравнения алгебры логики

Рассмотрим метод сведения к одному уравнению. Данный метод предполагает преобразование логических уравнений, таким образом, чтобы правые их части были равны истинностному значению (то есть 1). Для этого применяют операцию логического отрицания. Затем, если в уравнениях есть сложные логические операции, заменяем их базовыми: «И», «ИЛИ», «НЕ». Следующим шагом объединяем уравнения в одно, равносильное системе, с помощью логической операции «И». После этого, следует сделать преобразования полученного уравнения на основе законов алгебры логики и получить конкретное решение системы.

Решение 1: Применяем инверсию к обеим частям первого уравнения:

Как решать уравнения алгебры логики

Представим импликацию через базовые операции «ИЛИ», «НЕ»:

Как решать уравнения алгебры логики

Поскольку левые части уравнений равны 1, можно объединить их с помощью операции “И” в одно уравнение, равносильное исходной системе:

Как решать уравнения алгебры логики

Раскрываем первую скобку по закону де Моргана и преобразовываем полученный результат:

Как решать уравнения алгебры логики

Полученное уравнение, имеет одно решение: A =0, B=0 и C=1.

Следующий способ – построение таблиц истинности. Поскольку логические величины имеют только два значения, можно просто перебрать все варианты и найти среди них те, при которых выполняется данная система уравнений. То есть, мы строим одну общую таблицу истинности для всех уравнений системы и находим строку с нужными значениями.

Решение 2: Составим таблицу истинности для системы:

Как решать уравнения алгебры логики

Как решать уравнения алгебры логики

Как решать уравнения алгебры логики

Полужирным выделена строчка, для которой выполняются условия задачи. Таким образом, A=0, B=0 и C=1.

Способ декомпозиции. Идея состоит в том, чтобы зафиксировать значение одной из переменных (положить ее равной 0 или 1) и за счет этого упростить уравнения. Затем можно зафиксировать значение второй переменной и т.д.

Решение 3: Пусть A = 0, тогда:

Как решать уравнения алгебры логики

Из первого уравнения получаем B =0, а из второго – С=1. Решение системы: A = 0, B = 0 и C = 1.

В ЕГЭ по информатике очень часто требуется определить количество решений системы логических уравнений, без нахождения самих решений, для этого тоже существуют определенные методы. Основной способ нахождения количества решений системы логических уравнений – замена переменных . Сначала необходимо максимально упростить каждое из уравнений на основе законов алгебры логики, а затем заменить сложные части уравнений новыми переменными и определить количество решений новой системы. Далее вернуться к замене и определить для нее количество решений.

Задача: Сколько решений имеет уравнение ( A → B ) + ( C → D ) = 1? Где A, B, C, D – логические переменные.

Решение: Введем новые переменные: X = A → B и Y = C → D . С учетом новых переменных уравнение запишется в виде: X + Y = 1.

Дизъюнкция верна в трех случаях: (0;1), (1;0) и (1;1), при этом X и Y является импликацией, то есть является истинной в трех случаях и ложной – в одном. Поэтому случай (0;1) будет соответствовать трем возможным сочетаниям параметров. Случай (1;1) – будет соответствовать девяти возможным сочетаниям параметров исходного уравнения. Значит, всего возможных решений данного уравнения 3+9=15.

Следующий способ определения количества решений системы логических уравнений – бинарное дерево. Рассмотрим данный метод на примере.

Задача: Сколько различных решений имеет система логических уравнений:

Как решать уравнения алгебры логики

Приведенная система уравнений равносильна уравнению:

Предположим, что x 1 – истинно, тогда из первого уравнения получаем, что x 2 также истинно, из второго — x 3=1, и так далее до xm = 1. Значит набор (1; 1; …; 1) из m единиц является решением системы. Пусть теперь x 1=0, тогда из первого уравнения имеем x 2 =0 или x 2 =1.

Когда x 2 истинно получаем, что остальные переменные также истинны, то есть набор (0; 1; …; 1) является решением системы. При x 2=0 получаем, что x 3=0 или x 3=, и так далее. Продолжая до последней переменной, получаем, что решениями уравнения являются следующие наборы переменных ( m +1 решение, в каждом решении по m значений переменных):

Такой подход хорошо иллюстрируется с помощью построения бинарного дерева. Количество возможных решений – количество различных ветвей построенного дерева. Легко заметить, что оно равно m +1.

Видео:Решение логических выражений. Таблицы истинности. [Алгебра логики] #2Скачать

Решение логических выражений. Таблицы истинности. [Алгебра логики] #2

Урок №6 Решение логических уравнений (10 класс)

Обращаем Ваше внимание, что в соответствии с Федеральным законом N 273-ФЗ «Об образовании в Российской Федерации» в организациях, осуществляющих образовательную деятельность, организовывается обучение и воспитание обучающихся с ОВЗ как совместно с другими обучающимися, так и в отдельных классах или группах.

Выберите документ из архива для просмотра:

Выбранный для просмотра документ Урок 6 Решение логических уравнений.doc

Тема урока: Решение логических уравнений

Образовательная – изучение способов решения логических уравнений, формирование умений и навыков решения логических уравнений и построения логического выражения по таблице истинности;

Развивающая — создать условия для развития познавательного интереса учащихся, способствовать развитию памяти, внимания, логического мышления;

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

Тип урока: комбинированный урок

Оборудование: компьютер, мультимедийный проектор, презентация 6.

Повторение и актуализацию опорных знаний. Проверка домашнего задания (10 минут)

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

Выполним проверку домашнего задания по упрощению логических выражений:

1. Какое из приведенных слов удовлетворяет логическому условию:

(первая буква согласная→вторая буква согласная) ٨ (последняя буква гласная → предпоследняя буква гласная)? Если таких слов несколько, укажите наименьшее из них.

1) АННА 2) МАРИЯ 3) ОЛЕГ 4) СТЕПАН

А – первая буква согласная

В – вторая буква согласная

С – последняя буква гласная

D – предпоследняя буква гласная

Составим выражение: Как решать уравнения алгебры логики

2. Укажите, какое логическое выражение равносильно выражению

Как решать уравнения алгебры логики

Упростим запись исходного выражения и предложенных вариантов:

Как решать уравнения алгебры логики

3. Дан фрагмент таблицы истинности выражения F:

Какое выражение соответствует F?

Как решать уравнения алгебры логики

Определим значения этих выражений при указанных значениях аргументов:

Ознакомление с темой урока, изложение нового материала (30 минут)

Мы продолжаем изучать основы логики и тема нашего сегодняшнего урока «Решение логических уравнений». Изучив данную тему, вы узнаете основные способы решения логических уравнений, получите навыки решения этих уравнений путем использования языка алгебры логики и умения составления логического выражения по таблице истинности.

1. Решить логическое уравнение

Ответ запишите в виде строки из четырех символов: значений переменных K, L, M и N (в указанном порядке). Так, например, строка 1101 соответствует тому, что K=1, L=1, M=0, N=1.

Преобразуем выражение (¬K M) → (¬L M N) Как решать уравнения алгебры логики

Выражение ложно, когда оба слагаемые ложны. Второе слагаемое равно 0, если M =0, N =0, L =1. В первом слагаемом K =0, так как М=0, а Как решать уравнения алгебры логики.

2. Сколько решений имеет уравнение (в ответе укажите только число)?

Как решать уравнения алгебры логики

Решение: преобразуем выражение

A + B =1 и C + D =1

2 способ: составление таблицы истинности

3 способ: построение СДНФ – совершенной дизъюнктивной нормальной формы для функции – дизъюнкции полных правильных элементарных конъюнкций.

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

Дополним конъюнкции до полных конъюнкций (произведение всех аргументов), раскроем скобки:

Как решать уравнения алгебры логикиУчтем одинаковые конъюнкции:

Как решать уравнения алгебры логики

В итоге получаем СДНФ, содержащую 9 конъюнкций. Следовательно, таблица истинности для данной функции имеет значение 1 на 9 строках из 2 4 =16 наборов значений переменных.

3. Сколько решений имеет уравнение (в ответе укажите только число)?

Как решать уравнения алгебры логики

Как решать уравнения алгебры логики,

3 способ: построение СДНФ

Как решать уравнения алгебры логики

Учтем одинаковые конъюнкции:

Как решать уравнения алгебры логики1

В итоге получаем СДНФ, содержащую 5 конъюнкций. Следовательно таблица истинности для данной функции имеет значение 1 на 5 строках из 2 4 =16 наборов значений переменных.

Построение логического выражения по таблице истинности:

для каждой строки таблицы истинности, содержащей 1 составляем произведение аргументов, причем, переменные, равные 0, входят в произведение с отрицанием, а переменные, равные 1 – без отрицания. Искомое выражение F будет составляется из суммы полученных произведений. Затем, если возможно, это выражение необходимо упростить.

Пример: дана таблица истинности выражения. Построить логическое выражение.

Как решать уравнения алгебры логики

3. Задание на дом (5 минут)

Как решать уравнения алгебры логики

Сколько решений имеет уравнение (в ответе укажите только число)?

Как решать уравнения алгебры логики

По заданной таблице истинности составить логическое выражение и

Выбранный для просмотра документ Урок 6 Решение логических уравнений.ppt

Как решать уравнения алгебры логики

Описание презентации по отдельным слайдам:

Как решать уравнения алгебры логики

Проверка домашнего задания: Какое из приведенных слов удовлетворяет логическому условию: (первая буква согласная→вторая буква согласная) ٨ (последняя буква гласная → предпоследняя буква гласная)? Если таких слов несколько, укажите наименьшее. 1) АННА 2) МАРИЯ 3) ОЛЕГ 4) СТЕПАН 2. Укажите, какое логическое выражение равносильно выражению 3. Дан фрагмент таблицы истинности выражения F: Какое выражение соответствует F? xyzF 0001 0111 1100

Как решать уравнения алгебры логики

Тема урока: Решение логических уравнений

Как решать уравнения алгебры логики

1. Решить логическое уравнение (¬K  M) → (¬L  M  N) =0 Ответ запишите в виде строки из четырех символов: значений переменных K, L, M и N (в указанном порядке). Так, например, строка 1101 соответствует тому, что K=1, L=1, M=0, N=1.

Как решать уравнения алгебры логики

3. Сколько решений имеет уравнение (в ответе укажите только число)? 1 способ: рассуждения Ответ: 9 2 способ: составление таблицы истинности ABCD АВСDA+BC+DF

Как решать уравнения алгебры логики

3 способ: построение СДНФ – совершенной дизъюнктивной нормальной формы для функции – дизъюнкции полных конъюнкций. Преобразуем исходное выражение, раскроем скобки для того, чтобы получить дизъюнкцию конъюнкций: (A+B)*(C+D)=A*C+B*C+A*D+B*D= Дополним конъюнкции до полных конъюнкций (произведение всех аргументов), раскроем скобки:

Как решать уравнения алгебры логики

4. Сколько решений имеет уравнение (в ответе укажите только число)?

Как решать уравнения алгебры логики

Построение логического выражения по таблице истинности: для каждой строки таблицы истинности, содержащей 1 составляем произведение аргументов, причем, переменные, равные 0, входят в произведение с отрицанием, а переменные, равные 1 – без отрицания. Искомое выражение F будет составляется из суммы полученных произведений. Затем, если возможно, это выражение необходимо упростить. Пример: дана таблица истинности выражения. Построить логическое выражение. аbcF 0000 0010 0100 0110 1001 1011 1101 1110

Как решать уравнения алгебры логики

Задание на дом: По заданной таблице истинности составить логическое выражение и упростить его. 2. Решить уравнение: 3. Сколько решений имеет уравнение? аbcF 0000 0010 0100 0111 1001 1011 1100 1111

Как решать уравнения алгебры логики

Курс повышения квалификации

Дистанционное обучение как современный формат преподавания

  • Сейчас обучается 945 человек из 80 регионов

Как решать уравнения алгебры логики

Курс повышения квалификации

Инструменты онлайн-обучения на примере программ Zoom, Skype, Microsoft Teams, Bandicam

  • Курс добавлен 31.01.2022
  • Сейчас обучается 25 человек из 16 регионов

Как решать уравнения алгебры логики

Курс повышения квалификации

Педагогическая деятельность в контексте профессионального стандарта педагога и ФГОС

  • Сейчас обучается 40 человек из 24 регионов

Ищем педагогов в команду «Инфоурок»

Видео:Информатика. Алгебра логики: Таблицы истинности. Центр онлайн-обучения «Фоксфорд»Скачать

Информатика. Алгебра логики: Таблицы истинности. Центр онлайн-обучения «Фоксфорд»

Дистанционные курсы для педагогов

«Взбодрись! Нейрогимнастика для успешной учёбы и комфортной жизни»

Свидетельство и скидка на обучение каждому участнику

Найдите материал к любому уроку, указав свой предмет (категорию), класс, учебник и тему:

5 590 380 материалов в базе

Материал подходит для УМК

Как решать уравнения алгебры логики

«Информатика (углублённый уровень) (в 2 частях)», Семакин И.Г., Шеина Т.Ю., Шестакова Л.В.

1.6.2. Логические формулы и функции

Самые массовые международные дистанционные

Школьные Инфоконкурсы 2022

33 конкурса для учеников 1–11 классов и дошкольников от проекта «Инфоурок»

«Психологические методы развития навыков эффективного общения и чтения на английском языке у младших школьников»

Свидетельство и скидка на обучение каждому участнику

Другие материалы

  • 12.11.2017
  • 2001
  • 237
  • 12.11.2017
  • 707
  • 1
  • 12.11.2017
  • 274
  • 0
  • 12.11.2017
  • 980
  • 8
  • 12.11.2017
  • 972
  • 0
  • 12.11.2017
  • 377
  • 0
  • 12.11.2017
  • 705
  • 0
  • 12.11.2017
  • 796
  • 0

Вам будут интересны эти курсы:

Оставьте свой комментарий

Авторизуйтесь, чтобы задавать вопросы.

Добавить в избранное

  • 12.11.2017 16174
  • RAR 112.9 кбайт
  • 273 скачивания
  • Рейтинг: 5 из 5
  • Оцените материал:

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

Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.

Автор материала

Как решать уравнения алгебры логики

  • На сайте: 4 года и 11 месяцев
  • Подписчики: 0
  • Всего просмотров: 96267
  • Всего материалов: 15

Московский институт профессиональной
переподготовки и повышения
квалификации педагогов

Видео:Построение таблиц истинностиСкачать

Построение таблиц истинности

Дистанционные курсы
для педагогов

663 курса от 690 рублей

Выбрать курс со скидкой

Выдаём документы
установленного образца!

Как решать уравнения алгебры логики

Учителя о ЕГЭ: секреты успешной подготовки

Время чтения: 11 минут

Как решать уравнения алгебры логики

В ростовских школах рассматривают гибридный формат обучения с учетом эвакуированных

Время чтения: 1 минута

Как решать уравнения алгебры логики

Инфоурок стал резидентом Сколково

Время чтения: 2 минуты

Как решать уравнения алгебры логики

В Ростовской и Воронежской областях организуют обучение эвакуированных из Донбасса детей

Время чтения: 1 минута

Как решать уравнения алгебры логики

Каждый второй ребенок в школе подвергался психической агрессии

Время чтения: 3 минуты

Как решать уравнения алгебры логики

Ленобласть распределит в школы прибывающих из Донбасса детей

Время чтения: 1 минута

Как решать уравнения алгебры логики

Минобрнауки создаст для вузов рекомендации по поддержке молодых семей

Время чтения: 1 минута

Подарочные сертификаты

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

Все материалы, размещенные на сайте, созданы авторами сайта либо размещены пользователями сайта и представлены на сайте исключительно для ознакомления. Авторские права на материалы принадлежат их законным авторам. Частичное или полное копирование материалов сайта без письменного разрешения администрации сайта запрещено! Мнение администрации может не совпадать с точкой зрения авторов.

🌟 Видео

Алгебра логики: Законы алгебры логики. Центр онлайн-обучения «Фоксфорд»Скачать

Алгебра логики: Законы алгебры логики. Центр онлайн-обучения «Фоксфорд»

Конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика.Скачать

Конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. На примерах из жизни. Логика.

Сколько решений имеет лог. уравнение (!(A *B) + C) IMP (!A * !B + D) = 1. Информатика, ЕГЭ, логикаСкачать

Сколько решений имеет лог. уравнение (!(A *B) + C) IMP (!A * !B + D) = 1. Информатика, ЕГЭ, логика

Построение таблиц истинностиСкачать

Построение таблиц истинности

Информатика КЕГЭ 2022. Алгебра логики. Законы преобразования логических выражений.Скачать

Информатика КЕГЭ 2022. Алгебра логики. Законы преобразования логических выражений.

Законы алгебры логики / Закон де Моргана + доказательство [Алгебра логики] #5Скачать

Законы алгебры логики / Закон де Моргана + доказательство [Алгебра логики] #5

Логика - Упрощение логических выражений. Законы алгебры логикиСкачать

Логика - Упрощение логических выражений. Законы алгебры логики

Логические выражения, таблицы истинности ,структурная логическая схемаСкачать

Логические выражения, таблицы истинности ,структурная логическая схема

Алгебра логики (8 класс)Скачать

Алгебра логики (8 класс)

Таблица истинностиСкачать

Таблица истинности

Элементы алгебры логики.Скачать

Элементы алгебры логики.

Информатика 10 класс (Урок№11 - Алгебра логики. Таблицы истинности.)Скачать

Информатика 10 класс (Урок№11 - Алгебра логики. Таблицы истинности.)

Законы алгебры логикиСкачать

Законы алгебры логики
Поделиться или сохранить к себе: