BooleanConvert

BooleanConvert[expr] converts the Boolean expression expr to disjunctive normal form.

BooleanConvert[expr,form] converts the Boolean expression expr to the specified form.

BooleanConvert[expr,form,cond] finds an expression in the specified form that is equivalent to expr when cond is true.

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