Biểu thức logic A được gọi là hằng đúng nếu:

A nhận giá trị True khi tồn tại giá trị chân lý của bộ biến mệnh đề có mặt trong A.

A nhận giá trị True với giá trị chân lý của bộ biến mệnh đề có mặt trong A.

A nhận giá trị True với mọi hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A

A nhận giá trị False với mọi hệ giá trị chân lý của bộ biến mệnh đề có mặt trong A.