<?xml version='1.0' ?>
<math display="block" xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow>
    <mo>¬</mo>
    <mo stretchy="false" form="prefix">(</mo>
    <mi>p</mi>
    <mo>∧</mo>
    <mi>q</mi>
    <mo stretchy="false" form="postfix">)</mo>
    <mo>⇔</mo>
    <mo stretchy="false" form="prefix">(</mo>
    <mo>¬</mo>
    <mi>p</mi>
    <mo stretchy="false" form="postfix">)</mo>
    <mo>∨</mo>
    <mo stretchy="false" form="prefix">(</mo>
    <mo>¬</mo>
    <mi>q</mi>
    <mo stretchy="false" form="postfix">)</mo>
    <mover>
      <mrow>
        <munderover>
          <mo>⋃</mo>
          <mrow>
            <mi>i</mi>
            <mo>=</mo>
            <mn>1</mn>
          </mrow>
          <mi>n</mi>
        </munderover>
        <msub>
          <mi>A</mi>
          <mi>i</mi>
        </msub>
      </mrow>
      <mo accent="true">¯</mo>
    </mover>
    <mo>=</mo>
    <munderover>
      <mo>⋂</mo>
      <mrow>
        <mi>i</mi>
        <mo>=</mo>
        <mn>1</mn>
      </mrow>
      <mi>n</mi>
    </munderover>
    <mover>
      <msub>
        <mi>A</mi>
        <mi>i</mi>
      </msub>
      <mo accent="true">¯</mo>
    </mover>
  </mrow>
</math>
