## Problem Set 2

Assigned: Feb. 1.

Due: Feb. 15.
### Problem 1

Show the results of applying alpha-beta pruning to the following game
tree. What is the best move for MAX at the top level?

### Problem 2

Convert the following sentences in the propositional logic to clausal form.
P <=> (Q ^ ~R).
W => P.
R <=> S.
S => P.
P => (~(Q V W) V S).

### Problem 3

Trace the action of
the Davis-Putnam algorithm applied to the clauses in problem 2.