Probabilistic transfer matrices in symbolic reliability analysis of logic circuits