Boolean Exp2 is a very easy to use application that allows you to solve binary expressions that involve operations with Sum of Minterms, Product of Maxterms, Truth Tables, and K-Maps. The function editor is easy to use and it let you write boolean expressions with subscripts and apostrophes or bars as negation symbol. The truth table editor let you add your own variables and toggle rows between 0, 1 and X values. The K-Map solver shows reductions of functions you write in the function, min term or max term editors.