Вики-учебник для подготовки к ЕГЭ/Раздел Информатика/Преобразование логических выражений
Содержание |
Описание задания
Задание А10 базового уровня на преобразование логических выражений, задания В2 и В4 проверяют сформированность умений применять свои знания в новой ситуации. Это умение преобразовывать сложные логические высказывания.
Задание В4 относится к высокому уровню сложности, требует от экзаменуемого решить логическую задачу. Решить логическую задачу - значит, найти истинное высказывание, отвечающее на поставленный в задаче вопрос. Необходимо подчеркнуть, что в качестве данных и в качестве разыскиваемой величины выступают высказывания, которые при решении алгебраических задач обозначаются символами.
Последовательность решения логической задачи: а) обозначение символами исходных и разыскиваемых высказываний; б) составление логических выражений (сложных высказываний) для всех требований задачи с использованием логических связок (элементарных логических операций); в) вычисление значений полученного выражения при всех возможных комбинациях истинности и ложности исходных высказываний или преобразование сложного выражения к виду, который однозначно дает ответ; г) проверка полученного решения по условию задачи.
Примеры решения
А10
2008 год
Укажите, какое логическое выражение равносильно выражению <math> A\wedge\neg(B\vee\neg C)</math>:
1) <math> \neg A\vee\neg B\vee\neg C</math>;
2) <math> A\wedge\neg B\wedge\neg C</math> ;
3) <math>A\wedge B\wedge\neg C</math>;
4) <math> A\wedge\neg B\wedge C</math>.
Решение:
Внесем знак логического отрицания внутрь скобки, пользуясь правилом: <math> \neg(A\vee B)=\neg A\wedge\neg B</math>
Получим <math>A\wedge\neg(B\vee\neg C)= A\wedge\neg B\wedge C</math>
Ответ: 4.
В2
2008 год
А, В, С - целые числа, для которых истинно высказывание <math>(C>A)\wedge(C>B)\wedge(\neg(C-1>A)\vee\neg(C-1>B)) </math>
Чему равно С, если А=45, В=18?
Решение:
Упростим высказывание, внося знаки логического отрицания в скобки.
<math>(C>A)\wedge(C>B)\wedge(\neg(C-1>A)\vee\neg(C-1>B))=(C>A)\wedge(C>B)\wedge(C<=A+1)\vee(C<=B+1)</math>
Подставим значения А=45, В=18 и перепишем высказывание в математической нотации в виде системы неравенств:
Решением этой системы является значение С=46
Ответ: 46.
В4
2008 год
Классный руководитель пожаловался директору, что у него в классе появилась компания из 3-х учеников, один из которых всегда говорит правду, другой всегда лжет, а третий говорит через раз то ложь, то правду. Директор знает, что их зовут Коля, Саша и Миша, но не знает, кто из них правдив, а кто - нет. Однажды все трое прогуляли астрономию. Директор знает, что никогда раньше никто из них не прогуливал астрономию. Он вызвал всех троих в кабинет и поговорил с мальчиками. Коля сказал: "Я раньше никогда не прогуливал астрономию". Саша сказал: "Бывает, что я говорю неправду". Миша сказал: "Коля соврал Вам. Саша никогда не врет". Директор понял, кто из них кто. Расположите первые буквы имен мальчиков в порядке: "говорит всегда правду", "всегда лжет", "говорит правду через раз".
Решение:
Предположим, что Миша всегда говорит правду. Но тогда его утверждение «Саша никогда не врет» противоречит утверждению самого Саши «Бывает, что я говорю неправду». Значит ни Миша, ни Саша не могут всегда говорить правду. Тогда всегда говорит правду Коля. В этом случае и второе утверждение Миши «Коля соврал Вам» - тоже ложь, значит, Миша всегда лжет, а Саша говорит правду через раз.
Ответ: КМС
Материал для тренировки
Пример 1. Дана логическая задача. Алексей, Борис и Валерий нашли в земле сосуд. Рассматривая удивительную находку, они выразили предположения: Алексей: "Это греческий сосуд и изготовлен в V веке"; Борис: "Это финикийский сосуд и изготовлен в III веке"; Валерий: "Это сосуд не греческий и изготовлен в IV веке". Впоследствии оказалось, что каждый из них прав только в одном из двух предположений. Где и в каком веке изготовлен сосуд?
Пример 2. Вернувшись домой, Мегрэ позвонил на набережную Орфевр. • Говорит Мегрэ. Есть новости? • Да, шеф. Поступили сообщения от инспекторов. Торранс установил, что если Франсуа был пьян, то либо Этьен убийца, либо Франсуа лжет. Жуссье считает, что Этьен - убийца, или Франсуа не был пьян, и убийство произошло после полуночи. Инспектор Люка просил передать, что если убийство было совершено после полуночи, то либо Этьен убийца, либо Франсуа лжет. Затем звонила : . • Все. Спасибо. Этого достаточно. - Комиссар положил трубку. Он знал, что трезвый Франсуа никогда не лжет. Теперь он знал все. Какой вывод сделал Мегрэ?
Основные причины ошибок, которые допускают учащиеся
Назад к разделу Вики-учебник для подготовки к ЕГЭ/Раздел Информатика
