Логические функции

В 17 веке немецкий ученый Лейбниц задумал создать новую науку, в которой каждому высказыванию соответствовал бы свой символ, а рассуждения имели бы вид вычислений. Эта идея была воплощена в жизнь в 19 веке ирландским математиком Джорджем Булем, который заложил основы алгебры логики, схожей с обычной алгеброй, но вместо чисел буквами обозначаются высказывания. На языке алгебры логики можно описать рассуждения и получить («вычислить») результаты. Однако данной алгеброй охватываются не все рассуждения, а только определенный их тип.

Основными понятиями в математической логике являются логическое высказывание, высказывательные формы, предикаты и кванторы.

Высказыванием (суждением) называется повествовательное и утвердительное предложение, о котором можно сказать в данный момент, что оно истинно или ложно, но не то и другое одновременно. Высказывание истинно, если оно отражает действительное положение вещей и ложно, если оно противоречит действительности. Обозначаются высказывания буквами латинского алфавита A, B, C и т.д. Истинность высказывания выражается через логические величины, принимающие значения True (истина) или False (ложь) и обозначаемых, соответственно, цифрой 1 - True, а цифрой 0 – False.

Логическая величина может быть логической переменной или логической константой.

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

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

Из математики известно, что функция определена, если задано:

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

2) область значений функции, т.е. множество возможных значений функции;

3) правило соответствия, согласно которому каждому значению аргумента из области определения ставится в соответствие значение функции – y = F(x), y – функция, x – аргумент, F – правило соответствия.

Функция одной или нескольких переменных, область определения которой задана множеством М, а область значений описывается множеством {0,1} называется предикатом.

Предикат, аргументы которого могут принимать только значения 0 или 1 (определены на множестве {0,1}) называется булевой функцией.

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

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

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

В математической логике также имеются несколько бинарных операций и одна унарная – отрицание.

Операция НЕ (логическое отрицание, инверсия). Отрицанием высказывания А называется операция, результат Х которой истинен, когда А ложно, и ложен, когда А истинно. Отрицание обозначается следующим образом:

Х=Ā, которая читается так: Х есть инверсия от А. Таблица истинности, отражающая её значения при всевозможных комбинациях логических переменных, в неё входящих, и диаграмма Венна имеют вид:

А	Х

НЕ

X = A X = `A

Электронная схема, реализующая операцию отрицания, называется инвертором или схемой НЕ. Её условное графическое изображение имеет вид:

Вход А Х = Ā Выход

На выходе элемента НЕ появляется сигнал при его отсутствии на входе.

Операция ИЛИ (логическое сложение, дизъюнкция). Это логическая операция над двумя переменными (А и В), результат Х которой истинен, если хотя бы одна из составляющих его переменных истинна. Операция ИЛИ обозначается символом «Ú», который соответствует союзу «или»; знаком «+», обозначающим логическое сложение:

Х = А Ú В, или Х = А + В.

Таблица истинности, отражающая её значения, и диаграмма Венна имеют вид:

А	В	Х

ИЛИ

Электронная схема, реализующая операцию ИЛИ, называется логической схемой ИЛИ, дизъюнктором или разделительной схемой. Её условное графическое изображение имеет вид:

А Х = АÚ В

Входы В Выход

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

Х= А Ú В Ú С... Ú N.

Операция И (логическое умножение, конъюнкция). Это логическая операция над двумя переменными А и В, результат Х которой истинен, если истинны значения обеих переменных. Операция И обозначается символом «Ù», который соответствует союзу «и» или знаком умножения «&», обозначающим логическое умножение:

Х= А Ù В, или Х= А & В.

Таблица истинности, отражающая её значения, и диаграмма Венна имеют вид:

А	В	Х

И

A & B

Электронная схема, реализующая операцию И, называется логической схемой И, конъюнктором или схемой совпадения. Условное графическое обозначение элемента И имеет вид:

Х=АÙВ

  &

Дата добавления: 2014-01-06