All mock tests are FREE till 31 December — register to save your progress
Paper 2 CS · UNIT 01 · MOCK TEST

Mock 4 – Mathematical Logic (Part 2)

Unit 1: Discrete Structures and Optimisation · 21 questions · about 25 minutes. Press End Mock any time to see your score and the correct answers.

All 14 topic-wise mocks in this unit
0 / 21 answered 00:00
Q1. The negation of "Some students like hockey" is:
Q2. The logic expression (P′ ∧ Q) ∨ (P ∧ Q′) ∨ (P ∧ Q) is equivalent to
Q3. Consider α, β, γ as logical variables. Which of the following are correct logical equivalences?
(A) α ∧ (β ∨ γ) ≡ (α ∧ β) ∨ (α ∧ γ)
(B) α ∨ β ≡ ¬α ∨ β
(C) (α ⇒ β) ≡ (¬β ⇒ ¬α)
(D) ¬(α ∨ β) ≡ (¬α ⇒ ¬β)
Choose the correct answer from the options given below:
Q4. Consider the following in Boolean algebra:
X: a ∨ (b ∧ (a ∨ c)) = (a ∨ b) ∧ (a ∨ c)
Y: a ∧ (b ∨ (a ∧ c)) = (a ∧ b) ∨ (a ∧ c)
The identity a ∨ (b ∧ c) = (a ∨ b) ∧ c is satisfied if
Q5. Given below are two statements: Assertion (A) and Reason (R).
Assertion (A): ¬p
Reason (R): (r → ¬q, r ∨ s, s → ¬q, p → q)
In the light of the above statements, choose the correct answer.
Q6. The prototyping model has the sequence:
(A) Customer Evaluation
(B) Quick design
(C) Requirements
(D) Implement
(E) Design
Q7. For the following set of processes scheduled using FCFS policy, determine the average waiting time. Assume that the processes arrived in the order P1, P2, P3, P4.
ProcessBurst Time (ms)
P18
P215
P310
P47
Q8. Assuming that the system call fork() never fails, consider the following C programs P1 and P2 executed on a UNIX/Linux system.
P1P2
int main() {
  fork();
  fork();
  fork();
  printf("Happy\n");
}
int main() {
  fork();
  printf("Happy\n");
  fork();
  printf("Happy\n");
  fork();
  printf("Happy\n");
}
Statement I: P1 displays "Happy" 8 times.
Statement II: P2 displays "Happy" 12 times.
In light of the above statements, choose the most appropriate answer.
Q9.

Match List I with List II

List I List II

Figure
Q10.

Match the logically equivalent propositions. List I: A. p → q, B. ¬(p ∨ (¬p ∧ q)), C. p ↔ q, D. ¬(p ↔ q). List II: I. (p ∧ q) ∨ (¬p ∧ ¬q), II. ¬p ∨ q, III. ¬(p ∨ q), IV. ¬p ↔ q.

Q11.

Let P be "It is hot day" and q be "The temperature is 48°C". Write in simple sentences the meaning of ¬p∧¬q.

Q12.

If p and q are two statements, which of the following equivalences hold? (A) ~(p ∧ q) ≡ ~p ∨ ~q (B) ~(p ∨ q) ≡ ~p ∧ ~q (C) p ∧ ~p ≡ T (D) ~(p ⇒ q) ≡ p ∧ ~q (E) p ∨ q ≡ ~p ∨ ~q

Q13.

Translate into English: ∀x ∃y (x < y), where the domain of both variables is the real numbers.

Q14.

Which of the following are true if the universe of discourse consists of all integers? A. ∀n∃m (n² < m) B. ∃n∀m (n < m²) C. ∃n∃m (n² + m² = 5) D. ∃n∃m (n² + m² = 6) E. ∃n∃m (m + n = 4 ∧ n − m = 1)

Q15.

Match List - I with List - II.

Figure
Q16.

Which of the following are tautologies? A. (p ∨ r) → p B. p → (p ∧ r) C. ~p → (p → r) D. (p ∧ r) → (p → r) E. ~(p → r) → p

Directions (Q91–95): A firm produces two types of cloth, A and B, using red, green and blue wool. One unit length of type A needs 2 yards of red and 3 yards of green wool. One unit length of type B needs 3 yards of red, 2 yards of green and 2 yards of blue wool. The firm has 8 yards of red, 10 yards of green and 15 yards of blue wool. Income is ₹30 per unit length of type A and ₹50 per unit length of type B.

Q17.

On the basis of available material, maximum total income is :

Q18.

If the universe of discourse is all real numbers, which of the following are true? (A) ∃x∀y (x + y = y) (B) ∀x∀y (((x ≥ 0) ∧ (y < 0)) → (x − y > 0)) (C) ∃x∃y (((x ≤ 0) ∧ (y ≤ 0)) ∧ (x − y > 0)) (D) ∀x∀y (((x ≠ 0) ∧ (y ≠ 0)) ↔ (xy ≠ 0))

Q19.

If the universe of discourse is the set of integers, which of the following are TRUE? (A) ∀n∃m (n² < m) (B) ∃n∀m (n < m²) (C) ∃n∀m (nm = m) (D) ∃n∃m (n² + m² = 6) (E) ∃n∃m (n + m = 4 ∧ n − m = 1)

Q20.

Which of the following are tautology? → → → →

(A) (P (P Q)) (P Q) → → → ∨

(B) ((P Q) Q) (P Q) ∨¬ → → ∨¬ →

(C) ((P P) Q) ((P P) R) → ∧¬ → → ∧¬

(D) (Q (P P)) (R (P P))

Q21.

Let P(x) be the statement "x = x²". If the universe of discourse is the integers, which of the following are true? (A) P(0) (B) P(1) (C) P(2) (D) ∃x P(x) (E) ∀x P(x)