Логические переменные и логические функции

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

Говоря выше о логических операциях над высказываниями, мы фактически рассмотрели основные логические операции над двумя логическими переменными.

Логические переменные принимают два значения: 1 и 0 («истина» и «ложь»).

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

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

Пример:

Логическая форма (А v В) ® С при А = Вы пользуетесь последними версиями антивирусных программ; В = Вы регулярно сохраняете свои файлы на дискетах; С = Снижается вероятность потери данных превращается в выказывание Е = Если вы пользуетесь последними версиями антивирусных программ или регулярно сохраняете свои файлы на дискетах, то снижается вероятность потери данных.

Выражения алгебры логики также называют формулами.

Можно определить и логические функции от логических переменных.

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

Пример:

F(A,B) = A v B – логическая функция двух переменных – А и В.

Сколько же всего может быть логических функций двух переменных? Попробуем ответить на этот вопрос.

Две переменные, каждая из которых может быть либо нулем, либо единицей, образуют 2² = 4 различных набора значений: (0,0), (0,1), (1,0), (1,1). На каждом наборе функция принимает значение либо 0, либо 1. Например, некоторая функция двух переменных будет полностью определена так: F(0,0) = 1; F(0,1) = 1, F(1,0) = 0, F(1,1) = 0. Так как каждая функция двух переменных однозначно задается четырьмя значениями, каждое из которых равно либо 0, либо 1, то количество таких функций будет равно количеству комбинаций этих четырех значений. Таких комбинаций 2⁴ = 16. То есть всего существует 16 различных функций двух переменных.

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

Функцию можно задавать как в табличном виде, так и в виде формулы.

Сводная таблица логических функций двух переменных

Значения функции F(X,Y)	Название функции	Обозначение функции
X = 0, Y = 0	X = 0, Y = 1	X = 1, Y = 0	X = 1, Y = 1
				Константа 0	F = 0
				Конъюнкция	F = X & Y
				Отрицание импликации XY	F = (X Þ Y)
				Переменная X	F = X
				Отрицание импликации YX	F = (Y Þ X)
				Переменная Y	F = Y
				Отрицание эквивалентности	F = (X Û Y)
				Дизъюнкция	F = X Ú Y
				Стрелка Пирса Отрицание дизъюнкции	F = (X Ú Y); X↓Y
				Эквивалентность	F = X Û Y
				Отрицание Y	F = Y
				Импликация YX	F = Y Þ X
				Отрицание X	F = X
				Импликация XY	F = X Þ Y
				Штрих Шеффера Отрицание конъюнкции	F = (X &Y); X|Y
				Константа 1	F = 1

Дата добавления: 2015-07-15