Logical-Consequence-Checker-tablue-algorithm Python program to implement the tableau algorithm for propositional logic to check the logical consequence of the given two formulas.