Logic Calculator Reviews

Cool tool! But throws a java.util.EmptyStackException on double negation, i.e. ¬¬

Getting an endless loop when calculating DNF for following: (¬ T v X ^ ¬Y) ^ (¬ S v ¬ T v X v Y) ^ (S v ¬Y) ^ (T v Y ^ ¬X)

Very nice tool for learning propositional logic.