This Python program takes propositinal logic/formula as input and outputs truth table and disjunctive normal form of the given formula.
Symbols used for logical connectives :
-- + for disjunction
-- . for conjunction
-- ~ for negation
-- * for implication
-- = for bi-implication