Changed formatting of page, tables and listings

- Changed margin width
- Changed dash to m-dash in a number of places
- Added new style to listings
- Converted tabulars to using booktab package
- Places AND and OR truth tables on the same line