Write well-formed formulae of following statements

(i) Person respected by every other person is a king.

(ii) Some, who are intelligent, can’t read.

Transformed the following well-formed formula to Prenex normal form

(∀x) (Q(x) → (∃x) R (x, y))

Given the formulae E1 : A → B : E2 : ~B: G: ~A

Prove the G is logical Consequence of E1 and E2 without truth table

Determine whether each of the following sentences are satisfactory, contradictory or valid

(i) (P Λ Q) V ~ (P Λ Q)

(ii) (P → Q) → ~ P

Transform the following into CNF

(i) ~ (C → D) V (C Λ D)

(ii) (P  → (~ Q →R))

Transform the following to DNF:

(i) P → (~ (Q → R))

(ii) ~ (P → Q ) → ~ R

How “Chinese Room Test” took over the limitations of Turing test? How did the outcomes of the Chinese Room Test contribute in the development of machine intelligence?

What is “Turing test”? Give a brief outline of the Turing test. What are the limitations of Turing test?

Write a program in C/C++ to implement Cohen-Sutherland line clipping algorithm

Write a program in C/C++ to implement Bresenham’s line generation algorithm.

Write a program in C or C++ to implement DDA Circle generation Algorithm.

Write a program in C/C++ using OpenGL to draw a hard wire house as shown in figure given below. Use basic primitives of openGL.

Write a program in C/C++ using OpenGL to draw a rectangle of red colour and inside that draw a triangle of blue colour.

Create an XML document for Teacher of a University.

Write a program using JDBC and JSP to manage Fee Payment Records of the Students of MCA and BCA Programmes of IGNOU. Make necessary assumptions

Write a Servlet program to display details of the Saving Accounts. Make necessary assumptions

Explain the following with suitable examples:

1. Windowing Transformations

2. Area Sub-Division Algorithm

3. Sweep representations

4. Authoring Tools

5. Video file formats

Differentiate the following:

1. Ray tracing and Ray casting

2. Scan line Polygon fill algorithm and Flood Fill Algorithm

3. Phong shading and Gourand Shading

4. JPEG and TIFF 5. Bitmap Graphics and Vector Graphics

What do you mean by simulating acceleration in animation? What type of acceleration will be simulated by a straight line function? Draw suitable graph for the mathematical function used to describe the frame spacing regulation when positive acceleration is desired to be produced.

Write and discuss Z-Buffer algorithm with suitable example. What are the maximum number of objects that can be handled by the Z-buffer algorithm? What will happen if Z-buffer algorithm is used and it is found that two polygons have same Z-value?