(A and X) or (A and (not X))

simplifies to A in classic logic.

I guess there's an ambiguity whether "God exists" is a propositional variable.