non-essential prime implicants