Безліч всіх булевих функцій від будь-якої кількості аргументів часто позначається P2, А від n аргументів – P2(n). Змінні, що приймають значення з бульова множини, називаються булевими змінними. Булеві функції названо на прізвище математика Джорджа Буля.
Визначення 1 (Булева функція). Бульовий функцією від n аргументів називається функція f з n-ого ступеня множини { 0, 1 } у безліч { 0, 1 }. Інакше висловлюючись, булева функція – це функція, і аргументи і значення якої належить множині { 0, 1 }.
Бульова змінна – це змінна зі значеннями з бульова множини B = {0,1}. Позначаються булеви змінні символами: a, b, c, …, x, y, z або тими ж символами з індексами: x1 x2, …, xn.
Число різних булевих функцій, що залежать від n змінних, дорівнює 22n.