Gửi tin nhắn: Prime implicants in dynamic reliability analysis