... (ma_tpX, ho_tenX, ngay_sinhX, gioi_tinhX, ma_dvX, luongX)) }Hồ Cẩm HàChương 331Luật chuyển đổi công thức tương đương liên quan đến các lượng từ(∀x) (P(x)) ≡ (∃ x))(NOT(P(x)))(∃ x) (P(x)) ... (P(x)))Hồ Cẩm HàChương 333Ngôn ngữ tân từ biến miềnVí dụCâu hỏi 2Cho biết họ tên và lương của những nhân viên thuộc phòng “Nghiên cứu và phát triển”{ho_tenX, luongX⏐∃ma_nvX∃ngay_sinhX∃gioi_tinhX ... NHAN_VIEN(ma_nvX,ho_tenX,ngay_sinhX,gioi_tinhX,ma_dvX,luongX))} Hồ Cẩm HàChương 332Ngôn ngữ tân từ biến miềnVí dụCâu hỏi 1Tìm tên của dự án có mã số D4{tenX ⏐∃diadiemX ∃ma_dvX(DU_AN(“D4”,tenX, diadiemX, ma_dvX))}...