Skip to page content
Propositional Logic
Computer Science · Chapter 1 · Section A: Boolean Algebra and Computer 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 5
- Propositions, propositional variables and connectives (negation, conjunction, disjunction, implication, biconditional)
- Well-formed formulae, truth values, interpretation and truth tables
- Satisfiable, unsatisfiable and valid formulae; tautology, contradiction and contingency
- Equivalence laws: commutative, associative, distributive, De Morgan, implication, biconditional, identity, negation, excluded middle, contradiction
- Converse, inverse and contrapositive; chain rule and modus ponens