Глава 4. Логические переменные и логические функции

Глава 4. Логические переменные '- ' ^д и логические функции

■Ф- ОБЪЯСНЕНИЕ МАТЕРИАЛА

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

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

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

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

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

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

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

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

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

Например: F{AJ3)=AvB—логическая функция двух переменных —А и В.

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

Две переменные, каждая из которых может быть либо нулем, либо едини­цей, образуют 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)	Название функции	Обозначение функции
Х=0, У=0	х = о, У = 1	Х = 1, У=0	Х= 1, У=1
				Константа 0	F=0
				Конъюнкция	F = X& У
				Отрицание импликации XY	F = (X=>y)
				Переменная X	F = X
				Отрицание импликации YX	F = (У => X)
				Переменная У	F=Y
				Отрицание эквивалентности	F = (X о У)
				Дизъюнкция	F = XvY
				Отрицание дизъюнкции	F = (XvY)
				Эквивалентность	F = Xo У
				Отрицание У	F=Y
				Импликация YX	F= Y=*X
				Отрицание X	F= ~X
				Импликация XY	F = X=> Y
				Отрицание конъюнкции	F = (X& У)
				Константа 1	F= 1

W" t *• "< "< - <ч « -t',-| ^ if|*.-. Д'1« 0.4, J. »«5,

Глава 5. Сложное высказывание <^п^ -к

' -Л, . \ - Т- ч у i "

■Ф- ОБЪЯСНЕНИЕ МАТЕРИАЛА , ?*» ^:

Высказывания бывают простые и сложные. ,ч > , t > ■ -v