Which sentence will be unsatisfiable if the CNF sentence is unsatisfiable?
(a) Search statement
(b) Reading statement
(c) Replaced statement
(d) Original statement
The question was posed to me during an interview for a job.
Asked question is from Resolution topic in section Logical Agents of Artificial Intelligence