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



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


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

Что нужно знать:

  • условные обозначения логических операций

¬ A, не A (отрицание, инверсия)

A B, A и B (логическое умножение, конъюнкция)

A B, A или B (логическое сложение, дизъюнкция)

AB импликация (следование)

AB, эквиваленция (эквивалентность, равносильность)

  • таблицы истинности логических операций «И», «ИЛИ», «НЕ», «импликация», «эквиваленция»

  • операцию «импликация» можно выразить через «ИЛИ» и «НЕ»:

AB = ¬ A B или в других обозначениях AB =

  • операцию «эквиваленция» также можно выразить через «ИЛИ» и «НЕ»:

AB = ¬ A ¬ B A B или в других обозначениях AB =

  • если в выражении нет скобок, сначала выполняются все операции «НЕ», затем – «И», затем – «ИЛИ», и самая последняя – «импликация»

  • логическое произведение A∙B∙C∙… равно 1 (выражение истинно) только тогда, когда все сомножители равны 1 (а в остальных случаях равно 0)

  • логическая сумма A+B+C+… равна 0 (выражение ложно) только тогда, когда все слагаемые равны 0 (а в остальных случаях равна 1)

  • правила преобразования логических выражений (законы алгебры логики):

Закон

Для И

Для ИЛИ

двойного отрицания



исключения третьего



gif" name="object9" align=absmiddle width=66 height=18>

исключения констант

A · 1 = A; A · 0 = 0

A + 0 = A; A + 1 = 1

повторения

A · A = A

A + A = A

поглощения

A · (A + B) = A

A + A · B = A

переместительный

A · B = B · A

A + B = B + A

сочетательный

A · (B · C) = (A · B) · C

A + (B + C) = (A + B) + C

распределительный

A + B · C = (A + B) · (A + C)

A · (B + C) = A · B + A · C

де Моргана




  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