Prime Implicants and Belief Update