Renamed to boolean functions.
Updated boolean functions notes.
Remove proofs using truth tables.
Merge branch 'gh-pages' of github.com:jstnhuang/cse101 into gh-pages