If you have not the Pro
you can use Solid Solver by Tig : it resolvee basic case of Boolean function.

But the best is Booltools2 by Dale Martens (Whaat) $

Youtube Video