The circuit simplifies to:
\[ Y = \overline{\overline{A} \cdot \overline{B}} = \overline{\overline{A}} + \overline{\overline{B}} = A + B \]
(De-Morgan’s law)