Kemick

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

A live wallpaper with vector style graphics and laser space ship battles. Not interactive.• No internet access or other special permissions required. …