diff -r 550186034b6e -r 7a437f1f689d 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} \]