I took a course on logic a few semesters ago so am having trouble remembering certian concepts. I came across another problem in one of my classes yesterday and am not sure how to solve it exactly. Could I use resolution to solve the following
A, B, C, D, and E all live in a house together.
- If A is at home then so is B
- Either D or E, or both are at home
- Either B or C, but not both are home
- D and C are either both at home or both not at home
- If E is at home then A and D are also at home
The question asks, who's at home and who isn't?
If I remember correctly, resolution is used when we want to determine if an argument is valid. If the conjunction of the premises and negated conclusion leads to a contradiction (an empty set), then the argument is valid. However, this isn't that type of question. I tried using it and ended up with the following clauses $$D \vee \neg E$$ $$B \vee D$$ This can't be resolved further. So either I made a mistake or we can't use resolution here. How else could this problem be solved?
Thanks for the help
EDIT Here's what my resolution looked like I converted the statements into clauses $$\neg A \vee B$$ $$D \vee E$$ $$B \vee C$$ $$\neg B \vee \neg C$$ $$\neg D \vee C$$ $$\neg C \vee D$$ $$\neg E \vee A$$ $$\neg E \vee D$$