boolean-expression-solve

Boolean expression solver, simplifier, truth-table generator