CMPS240, Spring 2013, Section 01: Lecture 16 05/28/2013

For the SAT final on JUne 11 you will need to know how to use:

Davis-Putnam, Resolution, Subtraction, Walk Thru SAT and Factoring.

 

You will also need to be able to prove theoerms in Propositional and Predicate Logic/

 

Today we illustrated how to do prrofs in Prop. Logic. and also

how to perform simple checkmates.

 

B+N+K versus K is a little more challenging...