Prime implicants in dynamic reliability analysis · Study