txs auto checkin

MTigra · Oct 3, 2017 · a8b2894 · a8b2894
1 parent 5c35ffa
commit a8b2894
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/diskr.tex b/diskr.tex
@@ -612,7 +612,7 @@
 	(0,0,0):F(A,B,C)&=1\oplus BC\oplus AB\\
 	(0,0,1):F(A,B,C)&=1\oplus B\oplus AB\oplus B\overline{C}\\
 	(0,1,0):F(A,B,C)&=1\oplus A\oplus C\oplus A\overline{B}\oplus \overline{B}C\\
-	(0,1,1):F(A,B,C)&=A\oplus \overline{B}\oplus \overline{C}\oplus A\overline{B}\oplus\overline{B} \space \overline{C}
+	(0,1,1):F(A,B,C)&=A\oplus \overline{B}\oplus \overline{C}\oplus A\overline{B}\oplus\overline{B} \space \space \overline{C}
 	\end{align*}
 \end{document}
 \grid