Khóa nằm trong GROUP BY / HAVING sử dụng COUNT tên điện thoại DISTINCT. Khi số lượng là 2, bạn sẽ biết người dùng có cả hai điện thoại.
SELECT m5.name
FROM mark5 m5
INNER JOIN mark4 m4
ON m5.uid = m4.uid
INNER JOIN mark3 m3
ON m4.phoneid = m3.phoneid
WHERE m3.name in ('HTC', 'Samsung')
GROUP BY m5.name
HAVING COUNT(DISTINCT m3.name) = 2;