Android (Boolean/Propositional) Logic Calculator