The Norwegian lives in the first house.

Using

\begin{equation*} a = x_{5, 1, 3} \end{equation*}

derive the conjunctive normal form

\begin{equation*} (a) \end{equation*}

and compute