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) $ http://www.youtube.com/watch?v=N1HgNiwuq7Y