*Нека x_1, x_2, ..., x_n се Булови променливи.
Буловите изрази се дефинираат рекурзивно на следниов начин:
1) 0, 1, x_1, x_2, ..., xn
2) Ако Е1 и Е2 се Булови изрази, тогаш и E1^, E1 + E2, E1 . E2 се исто така Булови изрази;
3) Булови изрази се оние и само оние изрази кои се добиваат со конечна примена на 1) и 2).**