Homework # 3.

Problem 1.  Jones, Smith and Clark hold the jobs of
programmer, knowledge engineer, and manager (not 
necessarily in this order). Jones owes the programmer
$10. The manager spouse prohibits borrowing money. 
Smith is not married. Define each person's job using
propositional logic. Verify your answer using Wang's
algorithm (by hand or using the program from my Web
site).

Hint: You must first representfacts as propositions, 
and then use the rules of PL to infer the solution which 
states who is the programmer, who is the KE and who is 
the manager. Use the following vacabulary:

     JP (Jones is a programmer)
     JK (Jones is a KE)
     JM (Jones is a manager)
     SP, SM, SK, CP, CM, CK.

Note that each person may have only one job. Therefore,
the following fact must exist for Jones:

     JP v JK v JM

Similar facts must be stated for Smith and Clark, namely

     SP v SK v SM
     CP v CK v CM

Note also, that each job can be taken by taken by just
one person which results in the following statements:

     JP v SP v CP
     JM v SM v CM
     JK v SK v CK

Represent the rest of the facts contained in the problem 
definition is a similar way. For example, the fact "Jones 
owes the programmer $10" suggests that Jones is not a
programmer, that is (not JP).

Problem 2.  See the textbook, page 237 problem 7.8 (You may 
also use the Wang's algorithm to verify answers.)