Пусть Х = ( х1, х2, …, хn) – множество векторов с координатами {0, 1}. Функцией алгебры логики является функция, дающая: однозначное отображение Y в X, где Y = {0, 1}, однозначное отображение Х в У, где Y = {0, 1}, отображение Y в X, где Y = {0, 1}, отображение Х в У, где Y = {0, 1}