solucao:soltipboolealg