mirror of
https://github.com/2martens/uni.git
synced 2026-05-07 03:46:25 +02:00
FGI2: 12.4.3 größtenteils fertig
Signed-off-by: Jim Martens <github@2martens.de>
This commit is contained in:
@ -196,11 +196,22 @@
|
||||
\end{figure}
|
||||
\section{} %12.4
|
||||
\subsection{} %12.4.2 - eventually
|
||||
\begin{alignat*}{1}
|
||||
(d(c + d))(ab + (a + a)\underline{(b + b)}) \\
|
||||
(d(c + d))(ab + \underline{(a + a)}b) \\
|
||||
(d(c + d))\underline{(ab + ab)} \\
|
||||
(d(c + d))ab
|
||||
\begin{alignat*}{2}
|
||||
t_7 &=& (d(c + d))(ab + (a + a)\underline{(b + b)}) \\
|
||||
&=& (d(c + d))(ab + \underline{(a + a)}b) \\
|
||||
&=& (d(c + d))\underline{(ab + ab)} \\
|
||||
&=& (d(c + d))ab
|
||||
\end{alignat*}
|
||||
|
||||
\subsection{}
|
||||
\begin{alignat*}{2}
|
||||
t_8 &=& ((d + d)(a + a + c))(a + \underline{(b + b)}) \\
|
||||
&=& ((d + d)(\underline{a + a} + c))(a + b) \\
|
||||
&=& (\underline{(d + d)}(a + c))(a + b) \\
|
||||
&=& (d(a + c))(a + b)
|
||||
\end{alignat*}
|
||||
|
||||
\(t_7\) und \(t_8\) sind offensichtlich nicht äquivalent. %TODO Begründung
|
||||
|
||||
\end{document}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user