CSSE 490: Logic: Day 28
Topics
Conjunctive Normal Form (CNF)
The resolution inference rule
Proofs using resolution
Resolution strategies
Converting to CNF
Materials
Resolution rule
Resolution rule motivated
Resolution procedure and sample proofs
Resolution strategies
Converting to CNF
Homework
Day 29, BC: Read sections 18.5 and 18.6