theorem Th88: :: CQC_THE2:88

for A being QC-alphabet
for p, q being Element of CQC-WFF A holds Cn ({p} \/ {q}) = Cn {(p '&' q)}