Not

Generated from the engine's own definition: compute-engine's symbol, which we neither extend nor document by hand.

Logical negation (NOT).

✓ checked against that system · ! checked, with disagreements (hover a chip)WikipediaNegation↗MathWorldNegation↗WikidataQ190558↗Encyclopedia of MathematicsNegation↗Britannicatopic/negation-grammar↗FungrimNot↗Wolfram LanguageNot!↗

Not(boolean) -> booleanas compute-engine declares it

SymPyNot(boolean)

Typed signatures

Type	Package	Applies
(boolean) -> boolean	compute-engine	always

Domain: Compute engine

Examples

Applications #

live ↗

In$\int_{-1}^{1}\int_{-1}^{1}\!\lbrack¬(4x^4-4x^2+y^2≤0)\rbrack\, \mathrm{d}x \mathrm{d}y$Out$\int_{-1}^{1}\!\int_{-1}^{1}\!\lbrack¬(4x^4-4x^2+y^2≤0)\rbrack\, \mathrm{d}y\, \mathrm{d}x$

Properties #

De Morgan: the negated AND becomes an OR of negations

live ↗

In$\mathrm{BooleanConvert}(¬(a∧b))$Out$¬{{a}}∨¬{{b}}$

De Morgan: the negated OR becomes an AND of negations

live ↗

In$\mathrm{BooleanConvert}(¬(a∨b∨c))$Out$¬{{a}}∧¬{{b}}∧¬{{c}}$

live ↗

In$\mathrm{BooleanConvert}(¬(a\implies b))$Out${{a}}∧¬{{b}}$

About

Examples	4
Checked against	Wolfram Language 3 agree1 differSymPy 1 differ
Crosswalk	WikipediaMathWorldWikidataEncyclopedia of MathematicsBritannicaFungrimWolfram LanguageSymPy

Implementation

mappedsympypackages/oracle/src/mappings.ts