Write short notes on the following:

(i) Forward proof
(ii) Disjunctive and conjunctive normal form
(iii) Fundamental theorem of arithmetic

This question covers topics from different modules:

• (i) Forward proof: This falls under Module 3: Propositional Logic & Proof Techniques.
• (ii) Disjunctive and conjunctive normal form: This also falls under Module 3: Propositional Logic & Proof Techniques, as these are concepts in propositional logic.
• (iii) Fundamental theorem of arithmetic: This is a concept from number theory, which is typically covered in Module 2: Mathematical Induction & Counting Techniques (as number theory is often grouped with induction and counting in discrete mathematics courses).