propositional_logic 0.2.0

generate truth tables for compound propositions
Documentation