Skip to page content
Propositional Logic
Computer Science · Chapter 3 · Section A: Hardware
Not started Not started
Your path through this chapter
Visual lesson Coming soon
Short slides, one idea at a time. We are preparing this chapter's lesson.
Notes Coming soon
Clear chapter notes for quick revision.
Flashcards Coming soon
Quick recall of key terms and facts.
Practice Coming soon
Board-style questions with instant checks.
Chapter test Free
Short and long chapter tests in board pattern, with results and analysis.
Step 5: Not started
Topics 4
- Propositions, propositional variables and the connectives negation, conjunction, disjunction, implication and equivalence
- Well-formed formulae and representing simple word problems as wffs
- Truth values, interpretation of a wff and truth tables
- Satisfiable, unsatisfiable and valid formulae