Step 1: Understanding statements —
All birds can fly.
All penguins are birds.
Some birds migrate.
Some who migrate swim.
Step 2: Evaluating conclusions —
(a) Penguins can fly → Not necessarily true in reality; the premise says all birds can fly, but for logic-based syllogism, this may be assumed.
(b) All who migrate are birds → True, as migration is stated only for birds.
(c) Penguins migrate long distances → Not stated.
(d) No birds can swim → Contradicted, as some who migrate swim.
Step 3: Conclusion — Option (b) necessarily follows.