출력 조건을 만족하는 논리식은 ①입니다. \( A \)가 0일 때, 출력이 1이므로 \( \overline{A}B \)가 필요하고, \( A \)가 1일 때 출력이 0이므로 \( A \)가 1이면 \( B \)의 값에 상관없이 0이 됩니다. 따라서 \( \overline{A}B \) 형태의 논리식이 주어진 조건을 충족합니다.