logic 0.1.0

propositional logic
Documentation