arneish/PropositionalLogic
An Implementation of Semantic Tableaux Method to establish validity, consistency or inconsistency of a Propositional Logic expression
C++
An Implementation of Semantic Tableaux Method to establish validity, consistency or inconsistency of a Propositional Logic expression
C++