Hoàn thành bảng chân trị cho biểu thức: A ∨ ¬A

Đây là luật bài trung: một mệnh đề hoặc đúng hoặc không đúng. Chọn ⊤ (đúng) hoặc ⊥ (sai) cho mỗi hàng trong bảng chân trị.