## 2.21. Perfect Induction

This video formalises the work done by the previous videos in the playlist. In particular it shows how a truth table can 'prove' that one Boolean expression does indeed equal another Boolean expression. This process of using truth tables in the way described in the video is called perfect induction.