What is the simplification of this if-statement?

boolean a,b;
if (!(a && b) && (a || b)) || ((a && b) || !(a || b))

Does a tool exists to perform these kinds of simplification?