All General Solutions of Post Equations

In a previous paper, we have described all reproductive general solutions of a Post equation, supposing that a general solution is known. In this paper we describe all general solutions of Post equation, supposing that a general solution of this equation is known (Theorem 6). As a special case we get the previous characterization of reproductive solutions and a similar result for Boolean equations (Theorem 9).