Зная таблицу истинности для элементарных функций, можно вычислить таблицу истинности той функции, которую реализует данная формула.

Пример 1: F1=X₁•X₂v(X₁•¬X₂v¬X₁•X₂)

X1	X2	X1•¬X2	¬X1•X2	X1•¬X2v¬X1•X2	X1•X2	F1
0	0	0	0	0	0	0
0	1	0	1	1	0	1
1	0	1	0	1	0	1
1	1	0	0	0	1	1

Таким образом, формула F1 реализует дизъюнкцию.

Пример 2: F2=X₁•X₂→X₁

X1	X2	X1•X2	F2
0	0	0	1
0	1	0	1
1	0	0	1
1	1	1	1

Таким образом, формула F2 реализует константу 1.

Пример 3: F3=((X₁•X₂)⊕X₁)⊕X₂

X1	X2	X1•X2	(X1•X2)⊕X1	F3
0	0	0	0	0
0	1	0	0	1
1	0	0	1	1
1	1	1	0	1

Таким образом, формула F3 реализует дизъюнкцию.

Булевы функции F1 и F2 называются эквивалентными, если на всяком наборе (a₁, a₂ … a_n) нулей и единиц значения функций совпадают. Обозначение эквивалентных функций следующее: F1=F2.

Согласно приведенным примерам 1-3, можно написать:

X₁•X₂v(X₁•¬X₂v¬X₁•X₂)=X₁vX₂

X₁•X₂→X₁=1

((X₁•X₂)⊕X₁)⊕X₂=X₁vX₂