I have read that propositional resolution works best for formulas in CNF but does it also work with DNF?

  • if yes how?
  • if no why not?

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.