LogicalExpand

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

Examples

Expand logical expression:

LogicalExpand[(a || b) && c]
(* (a && c) || (b && c) *)

With inequalities:

LogicalExpand[Abs[x] < 1]
(* -1 < x < 1 *)

Please visit the official Wolfram Language Reference for more details.