Essential prime implicant working