BUSS 925: Techniques in Knowledge-Based Systems Development

Assignment 1 (due April 21, 1999):

Question 1 (3 marks):

Solve Problem 9.17 from your textbook (page 434).

Question 2 (1 mark):

• Transform the following into disjunctive normal form:
  
  S IMPLIES ((Q AND P) IMPLIES S)
  
  
• Transform the following into conjunctive normal form:
  
  (NOT (P IMPLIES Q)) OR (P OR (NOT Q))

Question 3 (1 mark):

Let A(x) represent "x is a member of Club A" and B(x) represent "x is a member of Club B". Let equal(x, y) represent "x and y are the same individual". Using only these predicates, translate the following sentences into predicate logic:

• Some members of Club B are members of Club A.
• Not every member of Club B is a member of Club A.
• There exists exactly one individual who is a member of both Club A and Club B.
• Club A has exatly two members.