Valiant-Vazirani Theorem for USAT. Definition of the classes #P and ⊕P. #SAT is complete for #P. Closure of the ⊕ quantifier underAND, OR and NOT operations
