deMorgans_law.test

<<< native
[ ESymbol Op "\172"
, EDelimited
    "("
    ")"
    [ Right (EIdentifier "p")
    , Right (ESymbol Bin "\8743")
    , Right (EIdentifier "q")
    ]
, ESymbol Rel "\8660"
, EDelimited
    "(" ")" [ Right (ESymbol Op "\172") , Right (EIdentifier "p") ]
, ESymbol Bin "\8744"
, EDelimited
    "(" ")" [ Right (ESymbol Op "\172") , Right (EIdentifier "q") ]
, EOver
    False
    (EGrouped
       [ EUnderover
           True
           (ESymbol Op "\8899")
           (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "1" ])
           (EIdentifier "n")
       , ESub (EIdentifier "A") (EIdentifier "i")
       ])
    (ESymbol TOver "\175")
, ESymbol Rel "="
, EUnderover
    True
    (ESymbol Op "\8898")
    (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "1" ])
    (EIdentifier "n")
, EOver
    False
    (ESub (EIdentifier "A") (EIdentifier "i"))
    (ESymbol TOver "\175")
]
>>> tex
\neg(p \land q) \Leftrightarrow (\neg p) \vee (\neg q)\overline{\bigcup_{i = 1}^{n}A_{i}} = \bigcap_{i = 1}^{n}\overline{A_{i}}