Logical Proposition Validator written in C++.
Compile main.cpp and src/*.cpp
Run /Debug/PropValidator.exe
Input text from Command Line:
PropValidator.exe "P & Q | R"
Input from keyboard: "P & Q | R"
PropValidator.exe
'!' - NOT '&' - AND '|' - OR '=>' - IMPLIES '<=>' - IFF
These are declared in main.cpp and you can change them and recompile the program, as long as they are in the same order.