CS 480 Homework 3

Assigned: 28 March 2018   Due: 11 April 2018

These homework problems are to be done individually, not in pairs or other groups.

Consider the following sentences:

  1. Ramonda, Nakia, and Okoye are members of the Girls Coding Club.
  2. Every member of the Girls Coding Club is either a Linux-user or a Windows-user (or both).
  3. No Linux-user likes Microsoft.
  4. All Windows-users like MSWord.
  5. Ramonda dislikes whatever Nakia likes and likes whatever Nakia dislikes.
  6. Nakia likes Microsoft and MSWord.
Homework problems:
  1. Translate these sentences into First Order Logic (FOL) sentences. Use predicates such as member(x), likes(x,y), Linux(x), Windows(x). Try to keep your encoding as simple as possible. There are no other clubs in this model, so member(Person) is reasonable, for example.
  2. Convert your sentences from 1) into Conjunctive Normal Form (CNF).
  3. Use resolution to answer the question "Is there a member of the Girls Coding Club who is a Linux-user and not a Windows-user?"