SX X xam Consider the following sentence in propositional logic: (PVQV-R) A (PV-Q)^-PARAU Use the DPLL algorithm, with pure literal rule as long as pure literal exists, otherwise, use one literal rule, to find a satisfiable assignment or to show that such assignment is inexistent. I A va 22 T DPLL Rule Assignment Set Propositional Logic Sentence (PVQV-R) A (PV-Q) A-PARAU 00) ENG 3:05 PM SX X xam Consider the following sentence in propositional logic: (PVQV-R) A (PV-Q)^-PARAU Use the DPLL algorithm, with pure literal rule as long as pure literal exists, otherwise, use one literal rule, to find a satisfiable assignment or to show that such assignment is inexistent. I A va 22 T DPLL Rule Assignment Set Propositional Logic Sentence (PVQV-R) A (PV-Q) A-PARAU 00) ENG 3:05 PM