1
GATE CSE 1992
MCQ (Single Correct Answer)
+1
-0.3
Start and stop bits do not contain 'information' but these are used in serial communication for
A
Error detection
B
Error correction
C
Synchronization
D
Slowing down the communication
2
GATE CSE 1992
MCQ (Single Correct Answer)
+1
-0.3
Which of the following predicate calculus statements is/are valid?
A
$$\left( {\forall \,x} \right){\rm P}\left( x \right) \vee \left( {\forall \,x} \right)Q\left( x \right) \to \left( {\forall \,x} \right)$$
$$\left\{ {{\rm P}\left( x \right) \vee Q\left( x \right)} \right\}$$
B
$$\left( {\exists \,x} \right){\rm P}\left( x \right) \wedge \left( {\exists \,x} \right)Q\left( x \right) \to \left( {\exists \,x} \right)$$
$$\left\{ {{\rm P}\left( x \right) \wedge Q\left( x \right)} \right\}$$
C
$$\left( {\forall \,x} \right)\,\left\{ {{\rm P}\left( x \right) \vee Q\left( x \right)} \right\} \to \left( {\forall \,x} \right)\,\,$$
$${\rm P}\left( x \right) \vee \left( {\forall \,x} \right)\,\,Q\left( x \right)$$
D
$$\left( {\exists \,x} \right)\,\,\left\{ {{\rm P}\left( x \right) \vee Q\left( x \right)} \right\} \to \sim \left( {\forall \,x} \right)\,\,$$
$$\,{\rm P}\left( x \right) \vee \left( {\exists \,x} \right)Q\left( x \right)$$
3
GATE CSE 1992
Subjective
+5
-0
(a) If G is a group of even order, then
show that there exists an element $$a \ne e$$,
the identifier $$g$$, such that
$${a^2} = e$$

(b) Consider the set of integers $$\left\{ {1,2,3,4,6,8,12,24} \right\}$$ together with the two binary operations LCM (lowest common multiple) and GCD (greatest common divisor). Which of the following algebraic structures does this represent?
i) Group ii) ring
iii) field iv) lattice
Justify your answer

4
GATE CSE 1992
MCQ (Single Correct Answer)
+1
-0.3
Which of the following is/are tautology?
A
$$\left( {a \vee b} \right) \to \left( {b \wedge c} \right)$$
B
$$\left( {a \wedge b} \right) \to \left( {b \vee c} \right)$$
C
$$\left( {a \vee b} \right) \to \left( {b \to c} \right)$$
D
$$\left( {a \to b} \right) \to \left( {b \to c} \right)$$