/PropositionalLogic

An Implementation of Semantic Tableaux Method to establish validity, consistency or inconsistency of a Propositional Logic expression

Primary LanguageC++

No issues in this repository yet.