The Truth Table Formulation of Propositional LogicHaze, Tristan GrtvedtTeorema
I started with a Golangparser for propositional logic expressions, v2.0 . The idea was to edge up to a tableaux method tautology prover. Write lexer for propositional logic tokens Write propositional logic parser Write truth table generator based on the parser ...