ЛОГИЧЕСКИЕфункции. Переменные, которые обозначают высказывания, могут принимать значения 0 и 1. При n переменных существует 2 n наборов переменных. Значения. - презентация

1 ЛОГИЧЕСКИЕфункции

2 Переменные, которые обозначают высказывания, могут принимать значения 0 и 1. При n переменных существует 2 n наборов переменных. Значения самой логической функции тоже могут быть о и 1. Следовательно, логических функций от n переменных может быть (2 2 ) n.

3 Значение каждой логической функции описывается таблицей истинности. Таблица истинности представляет собой таблицу, устанавливающую соответствие между возможными значениями наборов переменных и значениями функции.

4 Таблица истинности позволяет: определять значения, которые принимает функция при заданных значениях переменных; сравнивать функции между собой; определять, удовлетворяет ли функция заданным свойствам.

5 Дизъюнкция – логическое сложение (или, +, ˅ ). Р = a ˅ b Функция будет ложна только тогда, когда ложны оба слагаемых

6 Конъюнкция – логическое умножение (и, &, ˄ ). Р = a ˄ b = a&b Функция будет истинна только тогда, когда оба сомножителя истинны.

7 Инверсия – логическое отрицание (не, ¬ ). Р = ¬ а Отрицание лжи есть истина, отрицание истины есть ложь.

8 Штрих Шеффера (и-не, ǀ ). Р = a ǀ b = ¬ (a & b) Функция противоположна конъюнкции. Функция ложна только тогда, когда оба значения переменных истинны.

9 Равнозначность (эквивалентность) ( ~, ) Р = a ~ b = a b Функция будет истинна, когда значения переменных совпадают.

10 Функция Вебба (стрелка Пирса) (или-не, ). Р = a b = ¬ (a ˅ b) Функция противоположна дизъюнкции. Функция истинна только тогда, когда ложны обе ее переменные.

11 Импликация (функция следования) ( ) Если..., то... а) левая: из а следует b; б) правая: из b следует а. Р = a b = ¬ a ˅ b Q = а b = а ˅ ¬ b

12 Единичная функция: определяет логическую const 1. P(a,b) = 1 Функция истинна независимо от значений переменных.

13 Сложение по модулю два ( ). Р = a b Функция противоположна равнозначности. Функция истинна только тогда, когда значения переменных различные.

14 Единичная функция: определяет логическую const 1. P(a,b) = 1 Функция истинна независимо от значений переменных.

15 Нулевая функция: определяет логическую const 0. P(a,b) = 0 Функция ложна независимо от значений переменных.

16 Функция сохранения а) первой переменной а; б) второй переменной b. P(a,b) = а Q(a,b) = b Независимо от значения одной переменной сохраняются значения другой переменной.

17 Коимпликация (обратная импликация) ( ) Если..., то... Функция противоположна импликации. Р = ¬ (a b) Q = ¬ (а b)