1
GATE CSE 2016 Set 2
MCQ (Single Correct Answer)
+1
-0.3
Let, $${x_1} \oplus {x_2} \oplus {x_3} \oplus {x_4} = 0$$ where $${x_1},\,{x_2},\,{x_3},\,{x_4}$$ are Boolean Variables, and $$ \oplus $$ is the $$XOR$$ operator.

Which one of the following must always be TRUE?

A
$${x_1}{x_2}{x_3}{x_4} = 0$$
B
$${x_1}{x_3} + {x_2} = 0$$
C
$${\overline x _1} \oplus {\overline x _3} = {\overline x _2} \oplus {\overline x _4}$$
D
$${x_1} + {x_2} + {x_3} + {x_4} = 0$$
2
GATE CSE 2016 Set 2
Numerical
+1
-0
Consider the following expressions:
$$\,\,\,\,\,\,\,\,\,\,\,\,\,$$ $$(i)$$ $$\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,$$ false
$$\,\,\,\,\,\,\,\,\,\,\,\,$$ $$(ii)$$ $$\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,$$ $$Q$$
$$\,\,\,\,\,\,\,\,\,\,\,$$ $$(iii)$$ $$\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,$$ true
$$\,\,\,\,\,\,\,\,\,\,\,\,$$ $$(iv)$$ $$\,\,\,\,\,\,\,\,\,\,\,$$ $$P∨Q$$
$$\,\,\,\,\,\,\,\,\,\,\,\,\,$$ $$(v)$$ $$\,\,\,\,\,\,\,\,\,\,\,\,$$ $$\neg QVP$$

The number of expressions given above that are logically implied by $$P \wedge \left( {P \Rightarrow Q} \right)$$) is _____________.

Your input ____
3
GATE CSE 2016 Set 2
MCQ (Single Correct Answer)
+2
-0.6
Consider a set $$U$$ of $$23$$ different compounds in a Chemistry lab. There is a subset $$S$$ of $$U$$ of $$9$$ compounds, each of which reacts with exactly $$3$$ compounds of $$U.$$ Consider the following statements:

$$\,\,\,\,\,\,\,{\rm I}.\,\,\,\,\,$$ Each compound in $$U \ S$$ reacts with an odd number of compounds.
$$\,\,\,\,\,{\rm I}{\rm I}.\,\,\,\,\,$$ At least one compound in $$U \ S$$ reacts with an odd number of compounds.
$$\,\,\,{\rm I}{\rm I}{\rm I}.\,\,\,\,\,$$ Each compound in $$U \ S$$ reacts with an even number of compounds.

Which one of the above statements is ALWAYS TRUE?

A
Only $${\rm I}$$
B
Only $${\rm II}$$
C
Only $${\rm III}$$
D
None
4
GATE CSE 2016 Set 2
MCQ (Single Correct Answer)
+2
-0.6
Which one of the following well-formed formulae in predicate calculus is NOT valid?
A
$$\left( {\forall xp\left( x \right) \vee \forall xq\left( x \right)} \right) \Rightarrow \left( {\exists x\neg p\left( x \right) \vee \forall xq\left( x \right)} \right)$$
B
$$\left( {\exists xp\left( x \right) \vee \exists xq\left( x \right)} \right) \Rightarrow \exists x\left( {p\left( x \right) \vee q\left( x \right)} \right)$$
C
$$\exists x\left( {p\left( x \right) \wedge q\left( x \right)} \right) \Rightarrow \left( {\exists xp\left( x \right) \wedge \exists xq\left( x \right)} \right)$$
D
$$\forall x\left( {p\left( x \right) \vee q\left( x \right)} \right) \Rightarrow \left( {\forall xp\left( x \right) \vee \forall xq\left( x \right)} \right)$$