Булевы (логические, двоичные) переменные и функции

(английский логик Джордж Буль «Математический анализ логики» - середина 19 века)

Высказывания можно рассматривать как двоичные переменные, которые могут принимать только два значения 0 или 1 (ложь или истина, false или true):

Отношения между булевыми переменными представляются булевыми функциями.

Функции, как и аргументы, принимают свои значения из множества