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

Biểu thức logic A được gọi là hằng đúng nếu:
A. 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.
B. 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.
C. 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
D. 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.