CS-14 Intelligent Systems Dec-2001
Q2(a) Transform the following into conjunctive normal form:
z →(~(X→Y)).
(b) Give the internal storage linked cons-cell structure for the list
(a((b c) d (e f))).
© Create LISP database for the statement:
(d) Define the relation ‘grand parent’ (inclusive of both male and female, and both material and paternal) when the relation of ‘mother’ and ‘father’ are known/defined already.
(e) Write a LISP program that reads the radius of a circle and finds the area of the circle and prints suitable message.
