LogicalExpand

LogicalExpand[ausdr] entwickelt Ausdrücke, die logische Verknüpfungszeichen wie && und || enthalten.

LogicalExpand verwendet distributive Gesetze für logische Operationen.

Beispiel: LogicalExpand[p && !(q || r)].

LogicalExpand erzeugt ORs von ANDs entsprechend der disjunktiven Normalform mit einigen Kontraktionen.

Siehe Das Mathematica Buch: 1.5.6.

Siehe auch: Expand.

Further Examples