Exercise 19.1 [dbsig-exercise]
Show, by translating into conjunctive normal form and applying resolution, that the conclusion drawn on page dbsig-page concerning Brazilians is sound.
Answer
Improve This Solution
View Answer