Essential prime implicant