Console application for calculating propositional calculus formulas. Can create truth tables, show steps to result, check for validity, etc. Programmed in C#.
logic satisfiability-solver console-application propositional-logic logic-gates truth-table propositional-calculus satisfiability truth-table-generator
-
Updated
Apr 6, 2022 - C#