/Implementation-of-Truth-Table-and-Disjunctive-normal-form

Written 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.

Primary LanguageJupyter Notebook

Implementation-of-Truth-Table-and-Disjunctive-normal-form

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