Tuple Relational Calculus

Question

Consider the following relational schemas
Student (studId, name, age, year, sex, deptNo, supervisorId)
Professor(eId, name, sex, startyear, deptId, phoneNo)
Course(courseId, courseName, points, deptId)
enroll(studId, courseId, sem, year, marks)
teaching(eid, courseId, sem, year). Write TRC for the following query

List the names of students who have not taken at least one course taught by their supervisor

1. {s.name | student(s) ∧ (∃e) (∃t)(enroll(e) ∧ teaching(t) ∧ e.courseId ≠ t.courseId ∧ e.studId ≠ s.studId ∧ t.eid = s.supervisorId)}
2. {s.name | student(s) ∧ (∀e) (∀t)(enroll(e) ∧ teaching(t) ∧ e.courseId = t.courseId ∧ e.studId = s.studId ∧ t.eid = s.supervisorId)}
3. {s.name | student(s) ∧ ~(∃e) ~(∃t)(enroll(e) ∧ teaching(t) ∧ e.courseId = t.courseId ∧ e.studId = s.studId ∧ t.eid = s.supervisorId)}