Case Analysis Rule and Propositional Resolution, Live1

03-02-Live3, CS-550 Formal Verification