Probabilistic error propagation in logic circuits using the Boolean difference calculus