Introduce , where means that the observation came from the structural-zero component. Conditional on the parameters,
Given , the nonstructural observations are independent Poisson variables. Using shape-rate parameterization and the stated unit-rate priors, the remaining Gibbs updates are
Alternating these four standard-distribution updates defines the requested Gibbs sampler for the Zero-inflated Poisson distribution posterior.
The mass function is the mixture
so it is nonnegative and sums to one. Its first two moments are
Therefore
For this is strictly larger than the mean, so the Zero-inflated Poisson distribution models overdispersion. At it reduces to an ordinary Poisson distribution, and at it is degenerate at zero.