\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{Answer}
\begin{popup}
\subsection*{Answer}

The next-state action using $=>$ and $/\ $ that I thought of is:
 \[ \begin{conj}
    (b=0) => (b'=1) \\
    (b=1) => (b'=0) 
    \end{conj}
 \]
\mbox{}
\end{popup}
\makepopup
