Designing a calculator app for propositional calculus