Simple text for logic gate names

hw3.tex

@@ -249,7 +249,7 @@
 
     %% Task: Binary-to-Gray conversion.
     \item Construct a minimal Boolean circuit that implements the conversion of 4-bit binary numbers to Gray code\Href{https://en.wikipedia.org/wiki/Gray_code}, \textit{i.e.} the function $f \colon \Bool^4 \to \Bool^4$ with the semantics $(b_3,b_2,b_1,b_0) \mapsto (g_3,g_2,g_1,g_0)$, \textit{e\Cat[1.5pt]g.}, $\mathtt{0000}_{2} \mapsto \mathtt{0000}_{\mathrm{Gray}}$, and $\mathtt{1001}_{2} \mapsto \mathtt{1101}_{\mathrm{Gray}}$.
-    Use only $\mathtt{NAND}$ and $\mathtt{NOR}$ logic gates.
+    Use only NAND and NOR logic gates.
 
 
     % Task: Subtractor.