deMorgans_law.test

<<< native
[ ESymbol Op "\172"
, ESymbol Open "("
, EIdentifier "p"
, ESymbol Bin "\8743"
, EIdentifier "q"
, ESymbol Close ")"
, ESymbol Rel "\8660"
, ESymbol Open "("
, ESymbol Op "\172"
, EIdentifier "p"
, ESymbol Close ")"
, ESymbol Bin "\8744"
, ESymbol Open "("
, ESymbol Op "\172"
, EIdentifier "q"
, ESymbol Close ")"
, 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")
]
>>> starmath
neg (p and q) dlrarrow (neg p) or (neg q) overline {{oper ∪ from i = 1 to n A_i}} = oper ∩ from i = 1 to n overline {A_i}