User:Realazthat/Notes/Scrap: Difference between revisions

Content added Content deleted
Line 164: Line 164:
& = &
& = &
\begin{cases}
\begin{cases}
0 & \text{if } \left|A_{q} / D_{q}\right| \not= 0 \text{,}\\
0 & \text{if } \left|T_{q} / D_{q}\right| \not= 0 \text{,}\\
1 & \left( \left|A_{q} / D_{q}\right| = 0 \right) \wedge
1 & \left( \left|T_{q} / D_{q}\right| = 0 \right) \wedge
\left(
\left(
\left| C_{q} / D_{q} \right| \not=0
\left| C_{q} / D_{q} \right| \not=0
\vee
\vee
\left|A_{q} \cup H_{q} \right| \not=0
\left|T_{q} \cap H_{q} \right| \not=0
\right)\\
2 & \left( \left|T_{q} / D_{q}\right| = 0 \wedge \left| C_{q} / D_{q} \right| = 0 \wedge \left|T_{q} \cap H_{q} \right| =0 \right) \wedge
\left(
\left| U_{q} \cap H_{q} \right| \not= 0 \vee \left| T_{q} \cap D_{q} \right|
\right)
\right)
\end{cases}\\
\end{cases}\\