The paper deals with the representation of $p_n$-sequences in various classes of algebras. A full description of representable sequences, in two-element groupoids, is given. For the sequence $p_n-2^n$, the "smallest" groupoid which represents it is found. The notion of maximality is introduced and some relations with $k$-valued logics are established.