0,3 and 1 are the number of tuples for Q1, Q2 and Q3 repsectively.
First, the outer query executes and then for each tuple of the output of the outer query, Inner query executes, if the inner query results in atleast one tuple, then EXISTS returns TRUE, if exists returns TRUE, then corresponding tuple of the outer query's ouptut is printed or listed.
And NOT EXISTS is opposite of TRUE.
Please correct me if i am wrong.