Report copyright - Introduction to Propositional Logicusers.cecs.anu.edu.au/~jinbo/logic/propositional-handout.pdf · Jinbo Huang Introduction to Propositional Logic. Resolution Will always prove SAT/UNSAT
Please pass captcha verification before submit form