Булевы функции двух переменных.

Пусть х₁ и х₂ — логические переменные. Рассмотрим функцию от х, и х₂:

f(х₁,х₂). (11.8)

Так как каждая из переменных х₁, х₂ может принимать только два значения: 0 и 1,

то областью определения функции (11.8) являются четыре варианта сочетаний: 00, 01, 10 и 11. Приняв эти сочетания за координаты точек на плоскости х₁Ох₂, получим четыре вершины единичного квадрата (рис. 11.10). Таким образом, функцию (11.8) можем считать заданной на множестве вершин единичного квадрата, и это множе­ство она отображает во множество {0, 1}. Например, функция f(х₁, х₂) может быть равна единице во всех вершинах, кроме начала координат, а в начале координат обращаться в нуль.

Легко найти общее число всевозможных функций f(х_ь х₂) со значениями в 0, 1}. В самом деле, перенумеруем вершины единичного квадрата в каком-нибудь порядке. В каждой вершине функция f(х₁,, х₂) может принимать одно из двух значений: 0 или 1. Задать функцию — значит указать, в каких вершинах она принимает значение 0 и в каких 1. Таким образом, наша функция — это четырехбуквенное слово, образованное из алфавита {0, 1}. Число таких слов равно 2⁴= 16. Следовательно, можно построить только 16 различных функций двух логических переменных со значениями в {0, 1}. Перечислим эти функции.

Таблица 11.15		Таблица 11.16
х1	х2	f(х1,х2)=		х1	х2	f(х1,х2)=

Прежде всего отметим две простейшие функции — постоянные: f(х₁,х₂)=0 и f(х₁,х₂)= 1 (табл. 11.11 и 11.12).

Еще две тоже очень простые функции f(х₁,х₂)= х₁ и f(х₁,х₂)= х₂ (табл. 11.13 и 11.14). Аналогично строятся функции f(х₁,х₂)= , и f(х₁,х₂)= (табл. 11.15 и 11.16).

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

Конъюнкция.Так называется функция f(х₁,х₂), которая принимает значение, равное единице, тогда и только тогда, когда оба аргумента равны 1 (табл. 11.17). Конъюнкция обозначается х₁Ùх₂ или х₁ ,х₂, читается «х₁ и х₂» (Иногда конъюнкцию обозначают знаком &. До сих пор не установилось единое обозначение и для других функций. Так, например, для отрицания существуют еще два знака). Легко видеть, что конъюнкцию можно определить также равенством х₁Ùх₂ = min(х₁|, х₂). Таким образом, чтобы конъюнкция была равна нулю, необходимо (и достаточно), чтобы хоть один аргумент был равен нулю.

Дизъюнкция. Так называется функция f(х₁,х₂), которая принимает значение 0 тогда и только тогда, когда оба аргумента равны 0 (табл. 11.18). Дизъюнкция обозначается х₁Úх₂, и читается «х₁ или х₂». Легко видеть, что дизъюнкцию можно определить равенством х₁Úх₂, = mах(х₁, х₂). Таким образом, чтобы дизъюнкция была равна единице, достаточно (и необходимо), чтобы хоть один из аргументов был равен единице.

Вопросы для контроля знаний и подведения итога прочитанной лекции

1. Что называют отрицаниемвысказывания р?

2. Что называют конъюнкциейдвух высказываний р и q?

3. Что называют дизъюнкциейдвух высказываний р и q?

4. Что называют импликацией двух высказываний р и q?

5. Что называют эквиваленциейдвух высказываний р и q?