Format:

(a) No more than 10% will be truth tables or truth trees.
(b) No more than 60% will be PL-translations.
(c) No more than 60% will be PL-derivations.

You will have the full 3-hours, though the exam is designed to be 100-120 minutes long.

Practice: