LogicalExpand

LogicalExpand[expr] expands out logical combinations of equations, inequalities, and other functions. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.