IEMCET computing preparation: Truth tables for implications — practice worksheet with answers

How to use this worksheet

This independent worksheet checks truth tables for implications with a new problem, an explanation task and an interleaved related skill. It is not an official IEM question paper, a difficulty forecast or a prescribed timed examination.

Write an attempt first, then compare your method with the visible answers. Record whether a miss came from interpretation, a missing concept, execution or a condition you overlooked.

Question 1: apply the topic

If P is false and Q is false, what is P→Q in classical propositional logic?

Answer and checking point

True.

Trace a small example and a boundary case. Distinguish correctness from complexity, a necessary condition from a sufficient one, and declared constraints from coincidences in sample data. Check whether the question asks for an exact count, a bound or a qualitative property.

Question 2: diagnose an approach

Explain why the following warning matters and identify the correction it calls for: Treating an implication as a biconditional incorrectly requires the premise and conclusion always to have identical truth values.

Model checkpoint: An implication is false only when its premise is true and conclusion is false. Governing rule: P→Q is equivalent to ¬P∨Q.

Question 3: transfer to deterministic finite automata

What determines acceptance after all input is consumed?

Answer: Whether the reached state is designated accepting.

This is an interleaved related-skill task, not a claim that the two topics have identical methods. Explain which idea changes when switching from the main topic to this one.

Review the attempt

Separate correct answers reached with a justified method from lucky guesses. Rework missed steps without looking at the answer, then use a fresh problem from an appropriate primary textbook or official paper. Do not use a small worksheet result as an admission cutoff, rank or readiness guarantee.

Official sources and verification

Sources checked on 26 October 2026. A source’s date, programme and campus limit which claims it supports. Official pages may change after review.

1. UEM Kolkata — IEMCET 2026 syllabus and instructions

   Historical course-specific preparation guidance. Some introductory route text conflicts with the central portal.

2. WBJEEB — JECA 2026 information bulletin

   2026 MCA syllabus and institution modules; Appendix 10 includes IEM Salt Lake. Historical, not a 2027 seat guarantee.

3. IIT Madras — GATE 2027 Computer Science syllabus

   Current GATE CS topic reference; IEMCET adoption of every 2027 revision is not asserted. MCA eligibility and programme paper instructions remain separate.

Found a discrepancy? Send the page and the official notice for correction.