propositional_logic 0.1.0

generate truth tables for compound propositions
Documentation