Kemick

Rated 3.94(93) — Kemick

Logic Calculator takes sentential boolean expressions and applies a single function: simplification. The simplification algorithm is essentially Quine-McClusky, and should produce optimal expressions.Simplification can be used to test for tautologies/cont

Rated 3.00(7) — Kemick

A live wallpaper with vector style graphics and laser space ship battles. Not interactive.• No internet access or other special permissions required. • No ads or other junk.• 9 exciting varieties of almost identical ships.• Adjustable population...