Как решать логические уравнения 10 класс

Решение логических задач в 10-м профильном классе

Урок №1

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

Задачи урока:

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

Дополнительные материалы: задачник (приложение 1), презентации (приложение 2, приложение 3).

Ход урока

I. Организационный момент (1мин).

II. Проверка домашнего задания. Повторение (5мин).

Примечание: для повторения используется презентация (приложение 2).

III. Изучение нового материала (20мин).

Примечание: объяснение материала проходит с помощью презентации (приложение 3).

Давным-давно в одной из восточных стран был знаменитый оракул. В отличие от остальных оракулов, его устами вещало не одно божество, а целых три: бог Правды, бог Лжи и бог Дипломатии. Эти божества изображались совершенно одинаковыми фигурами, расположенными в ряд за алтарем, перед которым преклоняли колени люди, ищущие совета. Боги всегда охотно отвечали на вопросы. Но так как они были похожи друг на друга, никто не мог определить, то ли отвечает бог Правды, которому надо верить, то ли бог Лжи, который говорит всегда неправду, то ли бог Дипломатии, который может либо солгать, либо сказать правду. Такое положение было на руку жрецам, ибо любой ответ оракула можно было толковать как угодно.

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

Смельчак вошел в храм и спросил бога, стоящего слева:

– Кто стоит рядом с тобой?

– Бог Правды, – ответил тот.

Тогда смельчак спросил бога, стоящего в центре:

– Бог Дипломатии, – был ответ.

Последний вопрос смельчак задал богу, стоявшему справа:

– Кто стоит рядом с тобой?

– Бог Лжи, – ответил бог.

– Теперь все понятно, – довольно сказал смельчак.

Что же он понял из ответов богов? (Вопрос к классу).

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

Наибольшее распространение получили следующие четыре способа решения логических задач:

• с помощью рассуждений;
• средствами алгебры логики;
• табличный способ;
• с помощью графов.

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

Решение логических задач с помощью рассуждений

Этим способом обычно решают несложные логические задачи.

Задача №1. Три девочки – Роза, Маргарита и Анюта представили на конкурсе корзины из выращенных ими роз, маргариток и анютиных глазок. Девочка, вырастившая маргаритки, обратила внимание Розы на то, что ни у одной из девочек имя не совпадает с названием любимых цветов. Какие цветы вырастила каждая из девочек?

Решение.

1. Девочка, вырастившая маргаритки, обратила внимание на то, что ни у одной из девочек имя не совпадает с названием выращенных цветов, поэтому можно записать следующие условия:
   а) Аня вырастила не анютины глазки.
   б) Маргарита вырастила не маргаритки.
   в) Роза вырастила не розы.
2. Из диалога Розы и девочки, вырастившей маргаритки, следует, что Роза вырастила не маргаритки. Поэтому она могла вырастить либо розы, либо анютины глазки. Учитывая условие в), получаем, что Роза вырастила анютины глазки.
3. В связи с условием б) и предыдущим выводом очевидно, что Маргарита вырастила розы.
4. Следовательно, Аня вырастила маргаритки.

Ответ. Роза вырастила анютины глазки, Маргарита – розы, Аня – маргаритки.

Задача №2. Вадим, Сергей и Михаил изучают различные иностранные языки: китайский, японский и арабский. На вопрос, какой язык изучает каждый из них, один ответил: «Вадим изучает китайский, Сергей не изучает китайский, Михаил не изучает арабский». Впоследствии выяснилось, что в этом ответе только одно утверждение верно, а два других ложны. Какой язык изучает каждый из молодых людей?

Решение.

1. Имеются три утверждения:
   а) Вадим изучает китайский;
   б) Сергей не изучает китайский;
   в) Михаил не изучает арабский.
2. Если верно первое утверждение, то верно и второе, так как юноши изучают разные языки. Это противоречит условию задачи, поэтому первое утверждение ложно.
3. Если верно второе утверждение, то первое и третье должны быть ложны. При этом получается, что никто не изучает китайский. Это противоречит условию, поэтому второе утверждение тоже ложно.
4. Остается считать верным третье утверждение, а первое и второе – ложными. Следовательно, Вадим не изучает китайский, изучает китайский Сергей.
5. Так как Михаил не изучает арабский, то он может изучать лишь японский. Тогда Вадим изучает арабский.

Ответ. Китайский изучает Сергей, Вадим – арабский, Михаил – японский.

Решение логических задач средствами алгебры логики

Обычно используется следующая схема решения:

1. изучается условие задачи;
2. вводится система обозначений для логических высказываний;
3. конструируется логическая формула, описывающая логические связи между всеми высказываниями условия задачи;
4. определяются значения истинности этой логической формулы;
5. из полученных значений истинности формулы определяются значения истинности введенных логических высказываний, на основании которых делается заключение о решении.

Задача №3. Виновник ночного дорожно-транспортного происшествия скрылся с места аварии. Первый из опрошенных свидетелей сказал работникам ГИБДД, что это были «Жигули», первая цифра номера машины – единица. Второй свидетель сказал, что машина была марки «Москвич», а номер начинался с семерки. Третий свидетель заявил, что машина была иностранная, номер начинался не с единицы. При дальнейшем расследовании выяснилось, что каждый из свидетелей правильно указал либо только марку машины, либо только первую цифру номера. Какой марки была машина и с какой цифры начинался номер?

Решение.

Введем обозначения для логических высказываний: Ж – это «Жигули»; М – это «Москвич»; И – это иностранная машина; Е – номер машины начинается с единицы; С – номер машины начинается с семерки.

Запишем высказывания свидетелей в наших обозначениях:

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

Если все эти истинные высказывания логически перемножить, то получим следующее истинное логическое высказывание:

Для решения задачи нужно определить, при каких значениях логических переменных Ж, М, И, Е, С это высказывание истинно.

Упростим выражение, учитывая те обстоятельства, что машина не может быть одновременно и марки «Жигули», и марки «Москвич», и иностранного происхождения, а также то, что номер машины не может одновременно начинаться с единицы и с семерки:

При выводе мы также использовали закон противоречия и закон исключения констант.Высказывание истинно только при Ж=1, М=0, И=0, Е=0, С=1. Таким образом, мы установили, что виновником дорожно-транспортного происшествия была машина марки «Жигули», номер которой начинался с цифры семь.

Ответ. Машина марки «Жигули», номер которой начинался с цифры семь.

Задача №4. В клуб служебного собаководства на очередную тренировку пришли со своими собаками Антон, Борис, Петр, Виктор и Олег. Желая подшутить над новым инструктором, на вопрос: «Кто же хозяин каждой из собак?» каждый юноша дал один правильный и один неправильный ответ. Антон сказал: «Моя собака – Рекс, а собака Петра – Лайма». Борис сказал: «Рекс – моя собака, а собака Виктора – Джек». Петр сказал: «Собака Виктора – Зевс, а моя собака – Рекс». Виктор сказал: «Моя собака – Джек, а собака Олега – Бичо». Олег сказал: «Да, моя собака – Бичо, а собака Бориса – Зевс». Кто же на самом деле хозяин каждой собаки?

Решение.

Обозначим высказывательную форму «Юноша X – хозяин собаки Y» как и запишем получившиеся логические выражения. Из высказываний молодых людей и того факта, что одно из высказываний истинно, а другое ложно, следуют истинные составные высказывания:

Если все эти истинные высказывания логически перемножить, то получим следующее истинное высказывание:

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

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

которое истинно только при .

Ответ. Петр – хозяин Лаймы, Борис – Рекса, Виктор – Зевса, Олег – Бичо, Антон – Джека.

IV. Закрепление материала (10мин).

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

1) Вернемся к задаче об оракуле и попробуем решить ее одним из способов.

Примечание: способ решения определяет сам учащийся.

Ответ. Слева – бог Дипломатии, в центре – бог Лжи, справа – бог Правды.

2) Решите логическую задачу №16 из задачника (приложение 1).

Ответ. Победителем этапа гонки стал Шумахер.

Методы решения систем логических уравнений
статья по информатике и икт (10 класс) по теме

Методы решения систем логических уравнений при подготовке к ЕГЭ (задание В15)

Скачать:

Предварительный просмотр:

Методы решения систем логических уравнений

Решить систему логических уравнений можно, например, с помощью таблицы истинности (если количество переменных не слишком велико) или с помощью дерева решений, предварительно упростив каждое уравнение.

1. Метод замены переменных.

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

Рассмотрим применение этого метода на конкретном примере.

Пример. Сколько различных решений имеет система уравнений

((X1 ≡ X2) ∧ (X3 ≡ X4)) ∨ (¬(X1 ≡ X2) ∧ ¬(X3 ≡ X4)) = 0

((X3 ≡ X4) ∧ (X5 ≡ X6)) ∨ (¬(X3 ≡ X4) ∧ ¬(X5 ≡ X6)) = 0

((X5 ≡ X6) ∧ (X7 ≡ X8)) ∨ (¬(X5 ≡ X6) ∧ ¬(X7 ≡ X8)) = 0

((X7 ≡ X8) ∧ (X9 ≡ X10)) ∨ (¬(X7 ≡ X8) ∧ ¬(X9 ≡ X10)) = 0

где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.

Введем новые переменные: А=(X1 ≡ X2); В=(X3 ≡ X4); С=(X5 ≡ X6); D=(X7 ≡ X8); E=(X9 ≡ X10).

(Внимание! Каждая их переменных x1, x2, …, x10 должна входить только в одну из новых переменных А,В,С,D,Е, т.е. новые переменные независимы друг от друга).

Тогда система уравнений будет выглядеть так:

Построим дерево решений полученной системы:

Рассмотрим уравнение А=0, т.е. (X1 ≡ X2)=0. Оно имеет 2 корня:

Из этой же таблицы видно, что уравнение А=1 тоже имеет 2 корня. Расставим кол-во корней на дереве решений:

Чтобы найти количество решений одной ветви, надо перемножить количества решений на каждом ее уровне. Левая ветвь имеет 2 ⋅ 2 ⋅ 2 ⋅ 2 ⋅ 2=32 решения; правая ветвь имеет тоже 32 решения. Т.е. вся система имеет 32+32=64 решения.

2. Метод рассуждений.

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

Пример 1. Сколько существует различных наборов значений логических переменных x1, x2, x3, x4, x5, y1, y2, y3, y4, y5, которые удовлетворяют всем перечисленным ниже условиям?

(x1→x2) /\ (x2→x3) /\ (x3→x4) /\ (x4→x5 ) = 1

(y1→y2) /\ (y2→y3) /\ (y3→y4) /\ (y4→y5 ) = 1

В ответе не нужно перечислять все различные наборы значений переменных x1, x2, x3, x4, x5, y1, y2, y3, y4, y5, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

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

Чтобы представить дерево решений системы из первого и второго уравнений, надо каждую ветвь первого дерева продолжить деревом для переменных у . Построенное таким образом дерево будет содержать 36 ветвей. Некоторые из этих ветвей не удовлетворяют третьему уравнению системы. Отметим на первом дереве количество ветвей дерева «у» , которые удовлетворяют третьему уравнению:

Поясним: для выполнения третьего условия при х1=0 должно быть у1=1, т.е все ветви дерева «х» , где х1=0 можно продолжить только одной ветвью из дерева «у» . И только для одной ветви дерева «х» (правой) подходят все ветви дерева «у». Таким образом, полное дерево всей системы содержит 11 ветвей. Каждая ветвь представляет собой одно решение исходной системы уравнений. Значит, вся система имеет 11 решений.

Пример 2. Сколько различных решений имеет система уравнений

(X1 ≡ X2) ∨ (X1 ∧ X10) ∨ (¬X1 ∧ ¬ X10)= 1

(X2 ≡ X3) ∨ (X2 ∧ X10) ∨ (¬X2 ∧ ¬ X10)= 1.

(X9 ≡ X10) ∨ (X9 ∧ X10) ∨ (¬X9 ∧ ¬ X10)= 1

где x1, x2, …, x10 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.

Решение : Упростим систему. Построим таблицу истинности части первого уравнения:

Урок №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

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

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

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

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

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

• Курс добавлен 23.11.2021
• Сейчас обучается 51 человек из 29 регионов

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

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

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

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

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

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

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

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

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

5 570 492 материала в базе

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

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

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

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

• 12.11.2017
• 1998
• 237

• 12.11.2017
• 707
• 1

• 12.11.2017
• 274
• 0

• 12.11.2017
• 977
• 8

• 12.11.2017
• 972
• 0

• 12.11.2017
• 376
• 0

• 12.11.2017
• 705
• 0

• 12.11.2017
• 791
• 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В Ленобласти школьники 5-11-х классов вернутся к очному обучению с 21 февраля

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

В школах Хабаровского края введут уроки спортивной борьбы

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

В Воронеже продлили удаленное обучение для учеников 5-11-х классов

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

Тринадцатилетняя школьница из Индии разработала приложение против буллинга

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

В Забайкалье в 2022 году обеспечат интернетом 83 школы

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

Объявлен конкурс дизайн-проектов для школьных пространств

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

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

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

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