For resolution to apply, all sentences must be in conjunctive normal form, a conjunction of disjunctions of literals.
(a) True
(b) False
I had been asked this question in an interview.
The above asked question is from Inference in First-Order Logic in division Knowledge and Reasoning of Artificial Intelligence