Знаки логических операций называют логическими связками.

Определение. Алгебру, носителем которой является множество Х={х1, х2, …, хn,y}, элементы которого могут принимать значения 0 или 1, а сигнатура которой определена множеством логических связок или логических операций, называют алгеброй логики (Булевой алгеброй).

Носитель – переменный аргумент.

0 и 1 - не числа в обычном понимании, а это логические значения – истина и ложь.

Логическая функция может быть задана несколькими способами:

– словесно (описанием ситуации),

– алгебраическим выражением,

– таблицей истинности

– электрической схемой, состоящей из контактов переключателей

Например:

1.Лифт можно вызвать, если закрыты двери лифта на первом этаже и на втором этаже и на третьем этаже.

2.Если закрытые двери на первом этаже обозначить как А = 1, на втором – В = 1, на третьем – С = 1, возможность вызвать лифт обозначить как F = 1, а логическую функцию И обозначить знаком умножения " × ", то алгебраическое выражение будет иметь вид:

F = A×B×С

3. Таблица истинности, соответствующая данному примеру будет иметь следующий вид:

Таблица 25.1.

 

 

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

4. Электрическая контактная схема обладает хорошей наглядностью, но может быть легко построена лишь для самых простых логических функций. Для нашего примера эта схема может иметь следующий вид:

 

Описание логической функции одной и двух двоичных переменных.

Как уже было отмечено, число логических функций для n компонентов аргумента определяется выражением: 2^p, где p=2ⁿ.

Для n=1 число возможных значений логической функции равно 4.

Таблица 25.2.

X	y=f(x)
	f0(x)	f1(x)	f2(x)	f3(x)

Анализ таблицы 25.2. позволяет дать определение каждой из четырёх логических функций:

· f₀(x) - функция-константа “0”, т.к. она не изменяет своего значения при изменении аргумента, т.е. (y=0), переменная x для этой функции несущественна;

· f₁(x) - функция повторитель, т.к. она принимает значения, равные значению аргумента, т.е. (y=x);

· f₂(x) – функция отрицания, т.к. она принимает значения противоположные значению аргумента, т.е. (y=`x), эта функция может еще обозначаться: ùx, x, `x;

· f₃(x) - функция-константа “1”, т.к. она не изменяет своего значения при изменении аргумента, т.е. (y=1) и, как для функции f₀(x), переменная x для этой функции несущественна.

Все функции таблицы 2 – унарные, т.к. это функции от одной переменной.

 

Для n=2 число возможных значений логической функции равно 16.

Таблица 25.3.

Арг.

Функция y=fi(x1,x2)

x1

x2

f0

f1

f2

f3

f4

f5

f6

f7

f8

f9

f10

f11

f12

f13

f14

f15

 

Перечислим важнейшие функции, представленные в таблице:

1) f₁ - конъюнкция (функция И), конъюнкция – это фактически обычное умножение (нулей и единиц). Конъюнкцией является функция, которая принимает значение 1 только тогда, когда все переменные равны 1, в противном случае функция равна 0. Иногда эту функцию обозначают x₁& x₂ или x₁  Ù x₂.

2) f₇ - дизъюнкция (функция ИЛИ). Дизъюнкцией (или логическим сложением) n-переменных называется функция, которая ровна 0 только тогда, когда все переменные равны 0. Иногда эту функцию обозначают (x₁Úx₂).

3) f₁₃ - импликация (следование). (x₁®x₂)=`x₁×x₂ . Иногда импликацию обозначают x₁ É x₂, это очень важная функция, особенно в логике. Ее можно рассматривать следующим образом: если x₁ = 0 (т. е. x₁ “ложно”), то из этого факта можно вывести и “ложь”, и “истину” (и это будет правильно), если x₂ = 1 (т. е. x₂ “истинно”), то истина выводится и из “лжи” и из “истины”, и это тоже правильно. Только вывод “из истины ложь” является неверным.

4) f₉ - эквивалентность или подобие. Эта функция f₉= 1 тогда и только тогда, когда x₁ = x₂. Иногда эту функцию обозначают x₁≡ x₂ или x₁ ~ x₂.

Любую логическую (булеву) функцию можно выразить через три логические функции: конъюнкцию, дизъюнкцию и отрицание.