Kiểm tra tương đương hình thức