To apply the resolution rule, you should first convert the formula into conjunctive normal form, where it becomes a conjunction of disjunctions of literals like (A or B or C) and (D or E or not F).

The coach noted the player's mid season form as the main factor in the selection.

The striker's mid-season form has made him a favorite for the top-scorer award.

The engineers selected a skin forming alloy for the prototype because its narrow solidification range reduced defects in the cast parts.

During the corrosion test, several skin forming alloys developed a brittle outer layer that compromised their performance.

I will in no way, shape, or form tolerate dishonesty in this household.

To analyze the cipher, the cryptographer converted each Boolean function into algebraic normal form to study linearity and degree.

To solve the SAT instance efficiently, the algorithm first converts each formula into clausal normal form.

To simplify proofs, we convert each predicate logic formula into prenex normal form before applying resolution.

After her GCSEs, she decided to continue her studies at a sixth-form college to focus on A-levels.