Efficient learning with equivalence queries of conjunctions of modulo functions