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?
Artificial Intelligence Stack Exchange is a question and answer site for people interested in conceptual questions about life and challenges in a world where "cognitive" functions can be mimicked in purely digital environment. It only takes a minute to sign up.Sign up to join this community