lots of corrections and additions

- section on parathesis
- expanded example for tests
- explanation of halting
- put all truth tables together rather than in floats
- added implication truth table
- lots of little formatting and typo fixes
while programs
update pdf