This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

 Documentation /  Mathematica /  Eingebaute Funktionen /  Programmierung /  Logische Operationen /

FalseIf

LogicalExpand

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

FilledSmallSquare LogicalExpand verwendet distributive Gesetze für logische Operationen.

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

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

FilledSmallSquare Siehe Das Mathematica Buch: 1.5.6.

FilledSmallSquare Siehe auch: Expand.

Further Examples

FalseIf