Triangle tests and proposition tests updated
.
CNF
CNF
Merge branch 'martijn' of https://github.com/martyn82/SST into martijn
P and Q in output
Merge branch 'master' of https://github.com/martyn82/SST
Conclusions which are tautologies are always valid
Merge branch 'martijn'
Entailment is an implication of the premisses to the conclusion
Added equivalence tests to CNF
Updated readme
Added Triangle assignment
Added Logic assignment
Added blueprint file for CNF assignment
Added better comments
isCnf test
Merge branch 'master' of https://github.com/martyn82/SST
Merge branch 'bas'
Deliverable merge