muralikrishna26 / implementation-of-truth-table-and-disjunctive-normal-form Goto Github PK
View Code? Open in Web Editor NEWWritten a Python program that can take as input any given propositional formula and puts out i) the corresponding truth table, and ii) the corresponding disjunctive normal form of the given formula.