theorem Th42: :: QC_LANG3:42

for A being QC-alphabet
for p, q being Element of QC-WFF A
for V being non empty Subset of (QC-variables A) holds Vars ((p '&' q),V) = (Vars (p,V)) \/ (Vars (q,V))