flyingscorpio/efrei
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Finish exercice

Browse source
This commit is contained in:
flyingscorpio@arch-desktop 2021-09-18 19:27:16 +02:00
parent 4cc92642d2
commit 7ffacb93cf
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
logique-programmable/exercices/main.tex
View file

@ -98,7 +98,9 @@
&= \overline{ac + ad} \cdot a\bar{c} + b\bar{c}\bar{d} \\
&= \overline{ac} \cdot \overline{ad} \cdot a\bar{c} + b\bar{c}\bar{d} \\
&= (\bar{a} + \bar{c}) \cdot (\bar{a} + \bar{d}) \cdot a\bar{c} + b\bar{c}\bar{d} \\
% TODO: finish
&= (\bar{a} + \bar{a}\bar{d} + \bar{a}\bar{c} + \bar{c}\bar{d}) \cdot a\bar{c} + b\bar{c}\bar{d} \\
&= a\bar{c}\bar{d} + b\bar{c}\bar{d} \\
&= (a + b) \cdot \bar{c}\bar{d} \\
\end{align*}
\end{enumerate}