MCQOPTIONS
Saved Bookmarks
| 1. |
When the resolution is called as refutation-complete? |
| A. | Sentence is satisfiable |
| B. | Sentence is unsatisfiable |
| C. | Sentence remains the same |
| D. | None of the mentioned |
| Answer» C. Sentence remains the same | |