CS 480 Homework 3

Assigned: 16 October 2017   Due: 30 October 2017

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

Consider the following sentences:

  1. Blossom, Bubbles and Buttercup 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. Buttercup dislikes whatever Blossom likes and likes whatever Blossom dislikes.
  6. Blossom likes Microsoft and MSWord.
Homework problems:
  1. Translate these sentences into First Order Logic (FOL) sentences. Use predicates member(x), likes(x,y), Linux(x), Windows(x). Try to keep your encoding as simple as possible.
  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?"