prime implicants