Propositional logic helper application made in C#