Application to check validity of the given propositional logic rules
Primary LanguageC++MIT LicenseMIT