
diff -r 414f1daf5728 -r 1d6043a87a3e hws/hw04.tex
--- a/hws/hw04.tex	Fri Oct 12 10:16:54 2018 +0100
+++ b/hws/hw04.tex	Sat Oct 13 13:51:28 2018 +0100
@@ -91,7 +91,8 @@
   \begin{array}{l}
   (\ZERO \cdot (b \cdot c)) + 
   ((\ZERO \cdot c) + \ONE)\\
-  (a + \ONE) \cdot (\ONE + \ONE)
+    (a + \ONE) \cdot (\ONE + \ONE)\\
+    a^*
   \end{array}
   \]
 




