Булева функция

функция алгебры логики,- функция, аргументы к-рой, равно как и сама функция, принимают значения из двухэлементного множества (обычно {0,1}). Б. ф. являются одним из основных объектов дискретной математики, в особенности тех ее разделов, к-рые входят в математич. логику и математич. кибернетику. Б. ф. возникли при математнч. постановке задач логики и были названы по имени Дж. Буля (G. Boole), положившего начало применению математики в логике (сер. 19 в.; см. Алгебра логики). Одной из таких задач является построение алгебры высказываний. Для этого каждому высказыванию приписывается одно из двух значений 0 или 1 (играющие, соответственно, роль "лжи" ц "истины"), и тогда основные логич. связки "и", "или", "не", "если..., то" и др. можно рассматривать, соответственно, как "элементарные" Б. ф.: [img: http://localhost:8080/file/010219-55.jpg] и т. [img: http://localhost:8080/file/010219-56.jpg] где [img: http://localhost:8080/file/010219-57.jpg] Существуют и другие возможности применения Б. ф. в дискретной математике, благодаря чему изучение Б. ф. представляет самостоятельный интерес. При решении различных задач, связанных с Б. ф., существенным моментом является способ задания Б. ф. Имеется целый ряд таких способов: таблицы, формулы, специальные классы формул, наз. нормальными формами (см. Булевых функций нормальные формы), подмножества вершин n-мерного единичного куба и др. В последнем случае каждый набор длины пзначений аргументов (0 или 1) рассматривается как вершина n-мерного единичного куба, и тогда Б. ф. от n аргументов может быть задана с помощью подмножества вершин, в к-рых эта функция принимает значение 1. Это подмножество, выписанное в виде матрицы, строками к-рой являются наборы значений аргументов Б. ф., наз. булевой матрицей. В том случае, когда Б. ф. описывает функционирование управляющих систем, последнюю также можно рассматривать как средство задания Б. ф. Обычно говорят, что эта управляющая система реализует данную Б. ф. С реализацией Б. ф. теми или иными- видами управляющих систем связан большой круг задач таких, как задачи синтеза, минимизации, задачи контроля и надежности и др. Другой круг задач возникает при изучении свойств и классов Б. ф. в связи с различными способами задания; это - изучение метрич. характеристик различных классов нормальных форм В. В нек-рых случаях возникает необходимость рассматривать частичные, т. е. не всюду определенные, Б. ф., для к-рых перечисленные задачи имеют характерную специфику. Лит,:[1] Новиков П. С., Элементы математической логики, 2 изд., М., 1973; [2] Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б., Функции алгебры логики и классы Поста, М., 1966. В. Б. Кудрявцев.