Assignment II

(1). bird(X):- animal(X), has(X, feathers).

crying(baby).
negative(X):-input_num(X),less_than_zero(X).
likes(moe moe , X):- food(X),spicy(X),delicious(X).
friends(X,Y), likes(Y,X), likes(X,Y).

(2).

  (A  B)  (A 
A B C A B A  B A  B B)
0 0 0 1 1 0 1 1
0 0 1 1 1 0 1 1
0 1 0 1 0 1 1 1
0 1 1 1 0 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 0 0 1 0 0
1 1 1 0 0 1 0 0

There are 6 models in the sentence.

(3). A  (P  C)
 A  (P  C)
 (A  P )  C
  ( A  P ) C
 ( A  P )  C

(4). (P  Q)  (P  (R  Q))

1. Eliminate ,
(P  Q ) (P  ( R  Q ))

2. Move  inwords,
(P  Q ) (P  ( R  Q ))

3. Apply distributivity law,

(P  Q ) (P  R)  (P  Q ))