Булева функция y=f(x₁,x₂ … x_n) существенно зависит от переменной x_k, если существует такой набор значений a₁,a₂ … a_k-1, a_k+1, a_k+2 … a_n, что f(a₁,a₂ … a_k-1, 0, a_k+1, a_k+2 … a_n) ≠ f(a₁, a₂ … a_k-1, 1, a_k+1, a_k+2 … a_n).

В этом случае x_k называют существенной переменной, в противном случае x_k называют несущественной (фиктивной) переменной. Другими словами, переменная является несущественной, если ее изменение не изменяет значения функции.

Пример: Пусть булевы функции f₁(x₁,x₂) и f₂(x₁,x₂) заданы следующей таблицей истинности:

x1	x2	f1(x1,x2)	f2(x1,x2)
0	0	0	1
0	1	0	1
1	0	1	0
1	1	1	0

Для этих функций переменная x₁ — существенная, а переменная x₂ — несущественная.

Очевидно, что булевы функции не изменяют свои значения путем введения (или удаления) несущественных переменных. Поэтому, в дальнейшем булевы функции рассматриваются с точностью до несущественных переменных (в примере можно записать: f₁(x₁,x₂)=x₁, f₂(x₁,x₂)=¬x₁).