• How to Construct a Truth Table
  • Truth Table for a Complex Sentence
• Tautology, Satisfiable, Logical Truth
  • Exercises
• Standard Equivalences
  • Problem of Using Standard Equivalences
  • The Substitution Rule
  • The Substitution Rule In Operation
• Logical Connectives
  Biconditional
• The Relationship between
  and
  • The Relationship between
    and
• Generalising the Identities
• Manipulating Identities
  • Example of Simplification
    Show P & (P v Q) P
  • -P & ((R & S) v (R & -S)) & (P v Q)
    -P & Q & R
  • -P & ((R & S) v (R & -S)) & (P v Q)
    -P & Q & R
• About this document ...