Analysis of minimal cut and path sets based on direct partial Boolean derivatives. (April 2016)