STEPS:

Extract the propositions from the argument and name them with single letter

Translate each sentence in the argument to either a hypothesis or a conclusion in propositional calculus

Convert these expressions into CNF

List the steps of the resolution (refutation) and state whether the argument is valid or not.

ARGUMENT: If Drew loses his disc or his AI system cannot be turned off, Drew is trapped on the grid.

If AI system has no off switch, it cannot be turned off. Drew does not lose his disk. AI system has no off switch. Therefore, Drew is trapped on the grid.