Takes two boolean expression of any number of variables. Compares those, and shows weather the expressions are same or not.
It's helpful when someone reduces a boolean expression and want to be sure that if the reduced form is correct or not. Using this application he can compare those expressions to verify. For example A+A!B+B!C+!AB!C is reduced to A+B!C . Then to verify



If someone ends with a wrong solution like A+B!CA , this is the output:



Also generates truth table of any number of variables. Example :