Reliability analysis of logic network by Logical Differential Calculus | IEEE Conference Publication | IEEE Xplore