Reliability of Computer Communication Networks Using Binary Decision Diagrams