A boolean algebra simplifier using the Quine-McCluskey algorithm for TI CE calculators.