Fixes README.
Renames TruthTable method to Table.
Implements LogicalConsequence and LogicalEquivalence functions
with appropriate test cases.
Fixes code comment.
Refactors some code.
Implements IsLogicalContradiction function.