This week’s topics
Propositional logic: Boolean operators and truth tables
- The key principles of (Boolean) propositional logic
- Truth tables to detail the possible outcomes of binary logical operators
What you will be able to do
- 2.3 Explain the key principles of (Boolean) propositional logic.
- 2.4 Use truth tables to detail the possible outcomes of binary logical operators.
Activity
Start with this week’s 4 videos, then: Seminar, guided reading and a short written task: explain the key principles of (Boolean) propositional logic.
Study materials
Videos
- Truth tables · Oak National Academy, Key Stage 4 (GCSE level) · for registered students
- Logic statements and expressions · Oak National Academy, Key Stage 4 (GCSE level) · for registered students
- LOGIC GATES, Truth tables, Boolean Algebra, AND, OR, NOT, NAND & NOR gates · YouTube · ADTW Study · 12 min · for registered students
- Boolean Logic & Logic Gates: Crash Course Computer Science #3 · YouTube · CrashCourse · 10 min · for registered students
Further resources
- Contemporary Mathematics, 2.1–2.2: Statements and compound statements · PDF · OpenStax Contemporary Mathematics (2023), 2.1–2.2: propositions, negation, and, or and conditional statements, pp. 60–77 · for registered students
- Contemporary Mathematics, 2.3: Constructing Truth Tables · PDF · OpenStax Contemporary Mathematics (2023), 2.3: building truth tables for compound statements, pp. 78–86 · for registered students
- On the unusual effectiveness of logic in computer science · Open-access article · Halpern et al. (2001), Bulletin of Symbolic Logic. Readable survey of why logic underpins computer science. · for registered students
Materials marked “for registered students” open in the student portal, which is set up as soon as you receive final acceptance.
