Logic and algebra

Key knowledge
• the concepts of proposition, truth value, tautology, set and set operations
• the concepts of validity, argument and proof
• boolean operators, and axioms of boolean algebra
• gates and circuit diagrams.

Key skills
• represent and test the truth of propositions and validity of arguments using karnaugh maps and truth tables
• develop proofs of propositions in natural language and mathematics
• represent circuits using gates and simplify these circuits
• use boolean operators for searches in databases and by search engines.

Transformations, trigonometry and matrices

Key knowledge
• coordinate and matrix representation of points and transformations
• dilation, rotations and reflections and invariance properties
• the inverse transformations and composition of transformations
• trigonometric identities.

Key skills
• define and apply transformations to the plane and specify their effect on subsets of the plane
• identify the set of points that are invariant under a given transformation
• find and apply inverse transformations and composite transformations, and interpret their effects on subsets of the plane
• prove trigonometric identities and apply them to solve problems.