Cтраница 3
Рассмотрим булевы функции от любого конечного числа аргументов. Если число аргументов равно п, то соответствующую функцию принято называть п-местной. Благодаря тому, что каждая булева переменная может принимать лишь два значения, область определения любой булевой функции будет непременно конечной. Легко видеть, что область определения n - местной булевой функции может состоять максимум из 2 различных элементов, представляющих собой всевозможные наборы значений п ее аргументов. В таком случае набор значений аргументов отождествляется с некоторым кортежем ( конечной упорядоченной последовательностью) нулей и единиц. Термин булев применительно к кортежу ( набору) означает, что соответствующий кортеж составлен из нулей и единиц. [31]