essential prime implicants