ITPEC FE Morning October 2019 Question 1

For logical variables p and q, which of the following is a logical expressions that evaluates to true for any values of p and q?

Explanation

It reduces to NOT p OR p, which is always 1 — simplify each expression with Boolean algebra; only one collapses to the constant 1.

Here + is OR, · is AND, and a bar is NOT. In option (b), factor p out of the two AND terms that contain it:

(p · q) + (p · q) = p · (q + q) = p · 1 = p

So the whole expression is p + p, which is 1 for every value of p and q: a tautology.

Answer (b)

Why not others:

  • •(a) — simplifies to p + q, which is 0 when p = 1 and q = 0
  • •(c) — expands to p · q · p + p · q · q; each term ANDs a variable with its own negation, so the expression is always 0, the opposite of what is asked
  • •(d) — contains p · q · p, and p · p = 0, so the whole AND chain is always 0

Key rule: An expression is always true when it reduces to x + x; if in doubt, test all 2n input rows, and a single 0 rules it out.

Basic Theory · AI-written, may contain errors

This question comes from an official ITPEC past paper. ITPEC Practice is an independent study tool and is not affiliated with ITPEC. See the official FE past-paper collection or Report an issue.