Как решать логические уравнения по информатике 8 класс

Ответы Основы логики: логические величины и формулы

Задание 1. Какие проблемы решает формальная логика?

Задание 2. Определите основные понятия алгебры логики: логическая величина, логическая операция, логическая формула?

Задание 3. Сформулируйте правила выполнения основных логических операций.

1) Операция отрицания (инверсия): меняет значения на противоположное: не истина = ложь; не ложь = истина.

2) Операция логического умножения: будет истина только тогда, когда будут истинны значения обоих операндов. Обозначение: и

3) Операция логического сложения: будет истина тогда, когда хотя бы один из операндов имеет значение ИСТИНА. Обозначение: или

Урок по информатике ( 8 класс) на тему «Решение задач алгебры логики»

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

Тема: Решение задач на тему «Алгебра логики»

образовательная – знакомство учащихся с методами решения логических задач;

развивающие – развитие логического мышления учащихся, памяти, внимания, интеллектуальных способностей средствами ИКТ, а также интереса к разделу информатики — алгебре логики;

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

Рассмотрим примеры решения задач различными способами

Пример 1
Проверить равносильность выражений А

E и (Ā ∧ Ē) v (A ∧ E).

Решение. Для проверки следует создать таблицу истинности, содержащую столько строк, сколько возможно наборов значений переменных, входящих в выражение. Для двух переменных (А и E) количество наборов равно четырем. К двум столбцам для значений переменных (А и E) нужно присовокупить количество столбцов, равное количеству операций в выражении. Таким образом, необходимо создать таблицу, содержащую 4 строки и 7 столбцов.

Заполним первые 2 столбца (А и E) всеми сочетаниями значений переменных. Запишем в качестве заголовков столбцов все операции выражения в порядке их выполнения (в соответствии с приоритетами и скобками). Рассчитаем значения этих операций: сначала выражения в скобках, затем результат их сложения.

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

Основные законы алгебры логики

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

Нормальная форма выражения содержит только операции отрицания, конъюнкции и дизъюнкции и не содержит отрицания выражений и двойных отрицаний.

Для упрощения используют равносильные преобразования, которые иначе называют основными законами алгебры логики.

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

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

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

Пример 2
Выбрать выражение, которое равносильно выражению (A ∧ B) v (Ā ∧ B).

1) A 2) A ∧ B 3) Ā ∧ B 4) B

Решение. В соответствии с законом склеивания (A ∧ B) v (Ā ∧ B) = B, следовательно, исходное выражение равносильно выражению В.
Ответ: 4) В.

ОПРЕДЕЛЕНИЕ ЗНАЧЕНИЙ ЛОГИЧЕСКИХ ВЫРАЖЕНИЙ

Выражения, которые принимают логические значения (истина или ложь) в результате выполнения операций сравнения (больше >, меньше

Вычисление значений функций.

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

Выполнение операций сравнения (в порядке записи).

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

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

Пример 3
Для какого из приведенных ниже значений числа М истинно следующее выражение?
¬М ≥ 10 ∧ M > 3

1) 1 2) 2 3) 3 4) 4

Решение. В соответствии с приоритетами операций сначала следует выполнить операции сравнения, затем отрицания, а потом — конъюнкцию. Отрицанием высказывания М ≥ 10 является высказывание М ∧ M > 3. Для того чтобы это выражение (конъюнкция) было истинным, должны выполняться (т. е. быть истинными) оба неравенства. Следовательно, значение М должно быть больше 3, но меньше 10. Среди предложенных значений этому условию удовлетворяет только одно — число 4.
Ответ: 4) 4.

Задачи, подобные предыдущему примеру, можно решать и с помощью таблиц истинности.

Пример 4
Для какого из приведенных ниже значений числа М истинно следующее выражение?
¬М ≥ 10 ∧ M > 3

1) 1 2) 2 3) 3 4) 4

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

Последний столбец содержит результат всего выражения. Истинным оно будет только для значения числа М, равного 4.
Ответ: 4) 4.

Пример 5
В табличной форме представлены ежемесячные данные о продаже групп товаров за полгода. Сколько групп товаров демонстрировали рост продаж в весенние месяцы или вышли на уровень свыше 80 % в июне?

Решение. Переформулируем условие задачи: необходимо найти группы товаров, для которых (Март ∧ (Апрель 80).

Введем обозначения:
А = (Март 80)

Тогда выражение можно записать как А ∧ В v С.

Логическое выражение состоит из одной конъюнкции и одной дизъюнкции. Значение выражения конъюнкции истинно только тогда, когда истинны оба составляющие его простых выражения ((Март

Составим таблицу истинности для исходных данных.

Логическому выражению удовлетворяют 3 записи — 4–я, 6–я и 7–я.
Ответ: 3.

Домашнее задание: повторить правила.

Решение логических задач, информатика 8 класс

Решение логических задач. Пример решения задачи.

Просмотр содержимого документа
«Решение логических задач, информатика 8 класс»

Логическая задача для 8 класса

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

1) Ни Дима, ни Юра не знают японского

2) Переводчик со шведского старше переводчика с немецкого

3) Переводчик с китайского, переводчик с французского и Саша родом из одного города

4) Переводчик с греческого, переводчик с немецкого и Юра учились втроем в одном институте

5) Дима – самый молодой из всех троих, и он не знает греческого

6) Юра знает два европейских языка

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

Составим таблицу, в строках которой имена

переводчиков, в столбцах – языки. Знание языка