3.5. Resolution Algorithm in Propositional Logic Notes | Artificial Intelligence BDS | TU | TABFlux