What is the Skolem standard form used for?
Removing existential quantifiers by replacing them with Skolem functions
Converting DNF to CNF
Proving tautologies in propositional logic
Simplifying Boolean expressions