Minor additions and improvements

- updated numbering
- changed version number to match semester
- fixed two typos
- added definition of truth table
- added example of truth table
- added two new exercises and tweaked an existing one
- added a footnote