Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Конспекты / Мастер-класс по подготовке к ЕГЭ по информатике. Логика.

Мастер-класс по подготовке к ЕГЭ по информатике. Логика.

Международный конкурс по математике «Поверь в себя»

для учеников 1-11 классов и дошкольников с ЛЮБЫМ уровнем знаний

Задания конкурса по математике «Поверь в себя» разработаны таким образом, чтобы каждый ученик вне зависимости от уровня подготовки смог проявить себя.

К ОПЛАТЕ ЗА ОДНОГО УЧЕНИКА: ВСЕГО 28 РУБ.

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

Подробнее о конкурсе - https://urokimatematiki.ru/


Идёт приём заявок на самые массовые международные олимпиады проекта "Инфоурок"

Для учителей мы подготовили самые привлекательные условия в русскоязычном интернете:

1. Бесплатные наградные документы с указанием данных образовательной Лицензии и Свидeтельства СМИ;
2. Призовой фонд 1.500.000 рублей для самых активных учителей;
3. До 100 рублей за одного ученика остаётся у учителя (при орг.взносе 150 рублей);
4. Бесплатные путёвки в Турцию (на двоих, всё включено) - розыгрыш среди активных учителей;
5. Бесплатная подписка на месяц на видеоуроки от "Инфоурок" - активным учителям;
6. Благодарность учителю будет выслана на адрес руководителя школы.

Подайте заявку на олимпиаду сейчас - https://infourok.ru/konkurs

  • Информатика

Документы в архиве:

27.84 КБ Б15.docx
1.74 МБ Логические уравнения и системы_inf-2011-14.pdf

Название документа Б15.docx

Поделитесь материалом с коллегами:

http://infoegehelp.ru/index.php?option=com_content&view=article&id=460&Itemid=77

Сколько существует различных наборов значений логических переменных x1, x2, x3, x4, y1, y2 y3, y4, которые удовлетворяют всем перечисленным ниже условиям? 
(x1 → x2) /\ (x2 → x3) /\ (x3 → x4) = 1 
(¬y1 \/ y2) /\ (¬y2 \/ y3) /\ (¬y3 \/ y4) = 1 
(y1 → x1) /\ (y2 → x2) /\ (y3 → x3) /\ (y4 → x4) = 1 
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, x3, x4, y1, y2 y3, y4, при которых выполнена данная система равенств. 
В качестве ответа Вам нужно указать количество таких наборов.

Ответ: 15

Решение:

Преобразуем систему уравнений к виду:

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

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

(y1 → x1) /\ (y2 → x2) /\ (y3 → x3) /\ (y4 → x4) = 1 (3)

Розовым выделено уравнение, которое было преобразовано. ¬y1 \/ y2=y1 → y2. Аналогично и для остальных частей данного уравнения.

Решим уравнение (1).

1 способ

Уравнение (1) содержит импликации (→), связанные конъюнкцией (/\). Соответственно, чтобы уравнение было истинно, все входящие импликации должны быть истинны:

x1 → x2=1,

x2 → x3=1,

x3 → x4=1.

Таблица истинности для импликации на примере x1 → x2:

x1

x2

x1→x2

0

0

1

0

1

1

1

0

0

1

1

1

Розовым выделена комбинация, когда импликация ложна. Видно, что в ней идут подряд "1" и "0". Выпишем комбинации для x1x2x3x4, в которых не встречается подряд "1" и "0", чтобы импликации x1 → x2, x2 → x3, x3 → x4 не были равны 0-ю.

x1

x2

x3

x4

0

0

0

0

0

0

0

1

0

0

1

1

0

1

1

1

1

1

1

1

Получили 5 комбинаций.

2 способ

Решим методом от противного. Рассмотрим случаи, когда уравнение (x1 → x2) /\ (x2 → x3) /\ (x3 → x4)=0.

Импликация ложна, когда посылка истинна, а следствие ложно. Таблица истинности приведена выше:

Исходя из этого определим случаи, когда импликация ложна.

Если x1 → x2=0:

x1

x2

x3

x4

1

0

0

0

1

0

0

1

1

0

1

0

1

0

1

1

x1=1, x2=0, 

x3 и x4 - 0 или 1, поэтому они дают 22=4 комбинации.

Если x2 → x3=0:

x1

x2

x3

x4

0

1

0

0

0

1

0

1

1

1

0

0

1

1

0

1

x2=1, x3=0,

x1 и x4 - 0 или 1, поэтому они дают 4 комбинации.

Если x3 → x4=0:

x1

x2

x3

x4

0

0

1

0

0

1

1

0

1

0

1

0

1

1

1

0

x3=1, x4=0, x1 и x2 - 0 или 1, поэтому они дают 4 комбинации.

Получили 4*3=12 комбинаций. 

Также нужно учеть повторные комбинации. В данном случае повторная комбинация одна: 1010. В таблицах выше такая комбинация выделена синей рамкой. Она встретилась 2 раза, поэтому общее число комбинаций с учетом повторов: 12−1=11.

Мы решали уравнение методом от противного. Теперь перейдем к исходному уравнению. 

Общее число комбинаций при 4-х переменных: 24=16. 16-11=5 комбинаций.

Перейдем к уравнению (2):

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

Это уравнение содержит переменные y1, y2, y3, y4, которые не связаны с уравнением (1). Уравнения (1) и (2) независимы друг от друга. Но вид уравнения (2) аналогичен виду уравнения (1), которое мы решили выше. Поэтому получаем 5 комбинаций.

y1

y2

y3

y4

0

0

0

0

0

0

0

1

0

0

1

1

0

1

1

1

1

1

1

1

Добавим к системе уравнение (3):

(y1 → x1) /\ (y2 → x2) /\ (y3 → x3) /\ (y4 → x4) = 1

Выпишем рядом решения уравнений (1) и (2)

y1

y2

y3

y4

   
   

x1

x2

x3

x4

0

0

0

0

0

0

0

0

0

0

0

1

0

0

0

1

0

0

1

1

0

0

1

1

0

1

1

1

0

1

1

1

1

1

1

1

1

1

1

1

Будем решать систему уравнений методом от противногоУравнение (3) равно 0-ю.

y1 → x1=0: y1=1, x1=0

y1

y2

y3

y4


    
  

x1

x2

x3

x4

0

0

0

0

0

0

0

0

0

0

0

1

0

0

1

0

0

1

1

0

0

1

1

0

1

1

1

0

1

1

1

1

1

1

1

1

1

1

1

Получили 4 комбинации.

y2 → x2=0: y2=1, x2=0. Строку 1111 (y1y2y3y4) не берем во избежание повторов.

y1

y2

y3

y4


   

x1

x2

x3

x4

0

0

0

0

0

0

0

0

0

0

0

1

0

0

0

1

0

0

1

1

0

0

1

1

0

1

1

1

0

1

1

1

1

1

1

1

1

1

1

1

Получили 3 комбинации.

y3 → x3=0 y3=1, x3=0. Строки 1111, 0111 (y1y2y3y4) не берем во избежание повторов.

y1

y2

y3

y4


   

x1

x2

x3

x4

0

0

0

0

0

0

0

0

0

0

0

1

0

0

0

1

0

0

1

1

0

0

1

1

0

1

1

1

0

1

1

1

1

1

1

1

1

1

1

1

Получили 2-е комбинации.

y4 → x4=0 y4=1, x4=0. Строки 1111, 0111, 0011 (y1y2y3y4) не берем во избежание повторов.

y1

y2

y3

y4


   

x1

x2

x3

x4

0

0

0

0

0

0

0

0

0

0

0

1

0

0

0

1

0

0

1

1

0

0

1

1

0

1

1

1

0

1

1

1

1

1

1

1

1

1

1

1

Получили 1-у комбинацию.

Всего комбинаций: 4+3+2+1=10.

Мы решали систему уравнений методом от противного. Теперь перейдем к исходной системе.

Общее число комбинаций: 5*5=25. Уравнения (1) и (2) дают по 5 независимых комбинаций.

25-10=15 комбинаций.


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

Предлагаем учителям воспользоваться 50% скидкой при обучении по программам профессиональной переподготовки.

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

Обучение проходит заочно прямо на сайте проекта "Инфоурок".

Начало обучения ближайших групп: 18 января и 25 января. Оплата возможна в беспроцентную рассрочку (20% в начале обучения и 80% в конце обучения)!

Подайте заявку на интересующий Вас курс сейчас: https://infourok.ru/kursy



Краткое описание документа:

Урок 1. Базовые знания математической логики, логические элементы и таблицы истинности.

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

Рассматриваем конъюнкцию, дизъюнкцию, инверсию (отрицание) и импликацию (следование), составляем для них таблицы истинности.  Показываем, как эти логические элементы мы можем отобразить на схеме и при записи логических формул.

 

Урок 2. Порядок выполнения логических выражений. Создание логических схем и таблиц истинности.

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

 

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

 

Урок 4. Основные законы математической логики.

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

 

Урок 5. Математическая логика. Пример решения задания.

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

 

 

Автор
Дата добавления 21.04.2015
Раздел Информатика
Подраздел Конспекты
Просмотров460
Номер материала 490430
Получить свидетельство о публикации

УЖЕ ЧЕРЕЗ 10 МИНУТ ВЫ МОЖЕТЕ ПОЛУЧИТЬ ДИПЛОМ

от проекта "Инфоурок" с указанием данных образовательной лицензии, что важно при прохождении аттестации.

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

Список всех тестов можно посмотреть тут - https://infourok.ru/tests

Похожие материалы

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