Complexity classifications for different equivalence and audit problems for Boolean circuits (Logical Methods in Computer Science, 2012)