finished truth table
updated logical operators and logical statements sections
updated typography/mods, updated logical axioms