Hai biểu thức mệnh đề E, F (có cùng bộ biến mệnh đề) được gọi là tương đương logic nếu…?

Nếu E có chân trị đúng thì F có chân trị sai và ngược lại.

E và F cùng có chân trị đúng.

E và F cùng có chân trị sai.

E và F có cùng chân trị trong mọi trường hợp về chân trị của bộ biến mệnh đề.