theorem :: CQC_SIM1:16

for A being QC-alphabet
for p being Element of CQC-WFF A holds QuantNbr ('not' p) = QuantNbr p