Kemick

Logic Calculator

Logic Calculator takes sentential boolean expressions and applies a single function: simplification. The simplification algorithm is essentially Quine...