Логика. Преобразование логических выражений Что нужно знать



страница6/10
Дата02.01.2013
Размер0.57 Mb.
ТипЗакон
1   2   3   4   5   6   7   8   9   10

Задание 6: Укажите значения переменных К, L, M, N, при которых логическое выражение (¬(М L) К) → (¬К ¬М N) ложно. Ответ запишите в виде строки из 4 символов: значений переменных К, L, М и N (в указанном порядке). Так, например, строка 1101 соответствует тому, что К=1, L=1, M=0, N=1.


Решение (вариант 1, анализ исходного выражения):

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



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

  2. из таблицы истинности операции «импликация» (см. первую задачу) следует, что это выражение ложно тогда и только тогда, когда одновременно

и

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

  2. из второго условия, , при и получаем

  3. таким образом, правильный ответ – 1000.





Возможные проблемы:

    • переменные однозначно определяются только для ситуаций «сумма = 0» (все равны 0) и «произведение = 1» (все равны 1), в остальных случаях нужно рассматривать разные варианты

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

Решение (вариант 2, упрощение выражения):

  1. запишем уравнение, используя более простые обозначения операций:



  1. заменим импликацию по формуле :



  1. раскроем инверсию сложного выражения по формуле де Моргана :



  1. упростим выражение :



  1. мы получили уравнение вида «сумма = 0», в нем все слагаемые должны быть равны нулю

  2. поэтому сразу находим

  3. таким образом, правильный ответ – 1000.




Замечание:

  • этот способ работает всегда и дает более общее решение; в частности, можно легко обнаружить, что уравнение имеет несколько решений (тогда оно не сведется к форме «сумма = 0» или «произведение = 1»)




Возможные проблемы:

    • нужно помнить правила преобразования логических выражений и хорошо владеть этой техникой
1   2   3   4   5   6   7   8   9   10

Похожие:

Логика. Преобразование логических выражений Что нужно знать iconПреобразование логических выражений
«НЕ», затем – «или», потом – «импликация», и самая последняя – «эквиваленция»
Логика. Преобразование логических выражений Что нужно знать iconЭкзамен по спецкурсу и спецсеминару Математическая логика
Математическая логика. Высказывания. Таблицы истинности. Основные логические операции, их свойства. Упрощение логических выражений....
Логика. Преобразование логических выражений Что нужно знать iconПостроение таблиц истинности логических выражений
Символом f обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения...
Логика. Преобразование логических выражений Что нужно знать iconПреобразование логических выражений. Формулы де Моргана
«НЕ» для сложного выражения в скобках, которую раскрываем по формуле де Моргана
Логика. Преобразование логических выражений Что нужно знать iconЛогика компьютера
Математическая логика изучает вопросы применения математических методов для решения логических задач и построения логических схем....
Логика. Преобразование логических выражений Что нужно знать iconПреобразование тригонометрических выражений
Выполняя упрощение выражений использовали тригонометрические тождества и формулы сокращенного умножения
Логика. Преобразование логических выражений Что нужно знать iconПреобразование логических выражений
Автор, к своему стыду, до сих пор иногда путает  и . Поэтому на его уроках операция «НЕ» обозначается чертой сверху, «И» – знаком...
Логика. Преобразование логических выражений Что нужно знать iconПреобразование логических выражений
Автор, к своему стыду, до сих пор иногда путает  и . Поэтому на его уроках операция «НЕ» обозначается чертой сверху, «И» – знаком...
Логика. Преобразование логических выражений Что нужно знать icon"Преобразование выражений, содержащих степени с дробными показателями"
Разработка урока по алгебре в 9классе на тему: “Преобразование выражений, содержащих степени с дробными показателями”
Логика. Преобразование логических выражений Что нужно знать iconИ1 Планирование информационного поиска
Вы дома делаете ремонт. Нужно посчитать, сколько денег нужно отложить на покупку обоев в твою комнату. Что тебе нужно знать, чтобы...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org