Renaming ch10 into Prop
AbstractMachine part
Adding samples
Adding the logical disjunction to in the tautology checker.
Formatting
Adding the equivalence in the tautology checkers.
Renaming ch9 into Nim.