Title: Minimization of Boolean sum of products with applications to the computation of reliability of general networks