An AND gate implements logical multiplication. The output \( Y \) is defined by the equation \( Y = A \cdot B \), where \( A \) and \( B \) represent the inputs. The behavior is illustrated in the following truth table: \[ \begin{array}{|c|c|c|} \hline A & B & Y \\ \hline 0 & 0 & 0 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \\ 1 & 1 & 1 \\ \hline \end{array} \]