Hai biểu thức boole gọi là tương đương nhau nếu chúng:

Có cùng giá trị chân lý trong mọi trường hợp giá trị của các biến Boole.

Có cùng số biến và có cùng giá trị chân lý.

Cùng biểu diễn một hàm boole, số biến bằng nhau.

Có số biến bằng nhau và biểu diễn 2 hàm boole giống hoặc khác nhau.