数据库系统概论第三版里面关于EXITS用法的一个问题

Question

有学生表Student，选课表SC和课程表Course，要求选修了全部课程的学生的姓名，教材P113是这样写的，有没有人能替我解释一下怎么实现的？
Student（Sno,Sname,Ssex,Sage,Sdept）
SC(Sno,Cno,Grade)
Course(Cno,Cname,Cpno,Ccredit)
程序：
SELECT Sname
         FROM Student
         WHERE NOT EXISTS
            （SELECT *
              FROM Course
              WHERE NOT EXISTS
                  (SELECT *
                   FROM SC
                   WHERE Sno= Student.Sno
                      AND Cno= Course.Cno）在线等，谢谢了！！

Answer 1

如果Where子句里面只嵌套了一层的话我还能看懂，但是这里是两层我就有点迷糊了，请楼上的能具体解释一下执行过程，谢谢了！！