|
And
&& && ... ist die logische Funktion UND. Die Argumente werden der Reihe nach evaluiert; sobald eines davon False ist, wird sofort False zurückgegeben, sind alle True, so ergibt sich True.
And[ , , ... ] kann in StandardForm und InputForm als ... eingegeben werden. Das Zeichen kann als && , and oder \[And] eingegeben werden.
And evaluiert seine Argumente nicht standardgemäß (siehe Abschnitt A.4.2).
And liefert symbolische Resultate, falls notwendig. Es werden keine Vereinfachungsregeln angewandt; nur Anfangsargumente, die True sind, werden entfernt.
Siehe Das Mathematica Buch: 1.5.6.
Siehe auch: LogicalExpand.
Further Examples
|