1
GATE CSE 2012
MCQ (Single Correct Answer)
+1
-0.3
Consider the following logical inferences.
$${{\rm I}_1}:$$ If it rains then the cricket match will not be played. The cricket match was played.
Inference: there was no rain.

$${{\rm I}_2}:$$ If it rains then the cricket match will not be played. It did not rain
Inference:the cricket match was played. which of the following is TRUE?

A
Both $${{\rm I}_1}$$ and $${{\rm I}_2}$$ are correct inferences
B
$${{\rm I}_1}$$ is correct but $${{\rm I}_2}:$$ is not a correct inference
C
$${{\rm I}_1}$$ is not correct but $${{\rm I}_2}$$ is a correct inference
D
Both $${{\rm I}_1}$$ and $${{\rm I}_2}$$ are not correct inferences
2
GATE CSE 2012
MCQ (Single Correct Answer)
+1
-0.3
The truth table GATE CSE 2012 Discrete Mathematics - Mathematical Logic Question 42 English

Represents the Boolean function

A
$$X$$
B
$$X+Y$$
C
$$X \oplus Y$$
D
$$Y$$
3
GATE CSE 2008
MCQ (Single Correct Answer)
+1
-0.3
A set of Boolean connectives is functionally complete if all Boolean function can be synthesized using those, Which of the following sets of connectives is NOT functionally complete?
A
EX-NOR
B
implication, negation
C
OR, negation
D
NAND
4
GATE CSE 2004
MCQ (Single Correct Answer)
+1
-0.3
Identify the correct translation into logical notation of the following assertion.

$$Some\,boys\,in\,the\,class\,are\,taller\,than\,all\,the\,girls$$
Note: taller$$\left( {x,\,y} \right)$$ is true if $$x$$ is taller than $$y$$.

A
$$\left( {\exists x} \right)\left( {boy\left( x \right) \to \left( {\forall y} \right)\left( {girl\left( y \right) \wedge taller\left( {x,y} \right)} \right)} \right)$$
B
$$\left( {\exists x} \right)\left( {boy\left( x \right) \wedge \left( {\forall y} \right)\left( {girl\left( y \right) \wedge taller\left( {x,y} \right)} \right)} \right)$$
C
$$\left( {\exists x} \right)\left( {boy\left( x \right) \to \left( {\forall y} \right)\left( {girl\left( y \right) \to taller\left( {x,y} \right)} \right)} \right)$$
D
$$\left( {\exists x} \right)\left( {boy\left( x \right) \wedge \left( {\forall y} \right)\left( {girl\left( y \right) \to taller\left( {x,y} \right)} \right)} \right)$$
GATE CSE Subjects
Software Engineering
Web Technologies
EXAM MAP