www.biomedcentral.com

<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mtable class="align" columnalign="left"> <mml:mtr> <mml:mtd class="align-1"> <mml:mi mathvariant="normal">SPEC</mml:mi>
<mml:mo>(</mml:mo>
<mml:mi>X</mml:mi>
<mml:mo>∧</mml:mo>
<mml:mi>Y</mml:mi>
<mml:mo>)</mml:mo>
</mml:mtd>
<mml:mtd class="align-2"> <mml:mspace width="0.3em"/>
<mml:mo>=</mml:mo>
<mml:mspace width="0.3em"/>
<mml:mi>Pr</mml:mi>
<mml:mo>(</mml:mo>
<mml:msup> <mml:mrow> <mml:mo>(</mml:mo>
<mml:mi>X</mml:mi>
<mml:mo>∩</mml:mo>
<mml:mi>Y</mml:mi>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>|</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>T</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>)</mml:mo>
<mml:mspace width="2em"/>
</mml:mtd>
<mml:mtd> <mml:mspace width="2em"/>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd class="align-1"/>
<mml:mtd class="align-2"> <mml:mo>=</mml:mo>
<mml:mspace width="0.3em"/>
<mml:mi>Pr</mml:mi>
<mml:mo>(</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>X</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>∪</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>Y</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>|</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>T</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>)</mml:mo>
<mml:mspace width="2em"/>
</mml:mtd>
<mml:mtd> <mml:mspace width="2em"/>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd class="align-1"/>
<mml:mtd class="align-2"> <mml:mo>=</mml:mo>
<mml:mspace width="0.3em"/>
<mml:mi>Pr</mml:mi>
<mml:mo>(</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>X</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>|</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>T</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>)</mml:mo>
<mml:mo>+</mml:mo>
<mml:mi>Pr</mml:mi>
<mml:mo>(</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>Y</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>|</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>T</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>)</mml:mo>
<mml:mo>−</mml:mo>
<mml:mi>Pr</mml:mi>
<mml:mo>(</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>X</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>|</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>T</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>)</mml:mo>
<mml:mspace width="2em"/>
</mml:mtd>
<mml:mtd> <mml:mspace width="2em"/>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd class="align-1"/>
<mml:mtd class="align-2"> <mml:mspace width="1em"/>
<mml:mo>×</mml:mo>
<mml:mi>Pr</mml:mi>
<mml:mo>(</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>Y</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>|</mml:mo>
<mml:msup> <mml:mrow> <mml:mi>T</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>c</mml:mi>
</mml:mrow>
</mml:msup>
<mml:mo>)</mml:mo>
<mml:mspace width="2em"/>
</mml:mtd>
<mml:mtd> <mml:mspace width="2em"/>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd class="align-1"/>
<mml:mtd class="align-2"> <mml:mo>=</mml:mo>
<mml:mspace width="0.3em"/>
<mml:mi mathvariant="normal">SPEC</mml:mi>
<mml:mo>(</mml:mo>
<mml:mi>X</mml:mi>
<mml:mo>)</mml:mo>
<mml:mo>+</mml:mo>
<mml:mi mathvariant="normal">SPEC</mml:mi>
<mml:mo>(</mml:mo>
<mml:mi>Y</mml:mi>
<mml:mo>)</mml:mo>
<mml:mo>−</mml:mo>
<mml:mi mathvariant="normal">SPEC</mml:mi>
<mml:mo>(</mml:mo>
<mml:mi>X</mml:mi>
<mml:mo>)</mml:mo>
<mml:mspace width="2em"/>
</mml:mtd>
<mml:mtd> <mml:mspace width="2em"/>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd class="align-1"/>
<mml:mtd class="align-2"> <mml:mspace width="1em"/>
<mml:mo>×</mml:mo>
<mml:mi mathvariant="normal">SPEC</mml:mi>
<mml:mo>(</mml:mo>
<mml:mi>Y</mml:mi>
<mml:mo>)</mml:mo>
<mml:mi>.</mml:mi>
<mml:mspace width="2em"/>
</mml:mtd>
<mml:mtd> <mml:mspace width="2em"/>
</mml:mtd>
</mml:mtr>
</mml:mtable>
</mml:math>