Sponsored links: Algebra eBooks

### The Maxima on-line user's manual

Algebra Calculator

#### Not

-- Operator: not The logical negation operator. `not` is a prefix operator; its operand is a Boolean expression, and its result is a Boolean value.

`not` forces evaluation (like `is`) of its operand.

The global flag `prederror` governs the behavior of `not` when its operand cannot be determined to be `true` or `false`. `not` prints an error message when `prederror` is `true`. Otherwise, operands which do not evaluate to `true` or `false` are accepted, and the result is a Boolean expression.

There are also some inexact matches for `not`. Try `?? not` to see them.

```(%o1)                                true
(%i2) ```

### Related Examples

##### not-or

solstice: (not(a3) an...

solstice, a0 = false,...

solstice, a0 = false,...

Calculate

##### not-or

Winter : (not(a0) and...

Winter ,a0=true,a1=fa...

Calculate

##### not-true

tosi: true;

tositosi: not(tosi);

tosi;

Calculate

##### not-or-true

summer: (not(a0) and ...

summer, a0 = false , ...

summer, a0 = false , ...

Calculate

##### not-or-part-reveal

(reveal(part(( not( n...

Calculate

##### not-or

days: (not(a0) and no...

days,a0=false,a1=fals...

days,a0=true,a1=false...

Calculate

##### not-part-reveal

(reveal(part((not(L(x...

Calculate

##### not-or-true

eq010: not(a3 and a2 ...

eq010, a3 = false, a2...

eq010, a3 = false, a2...

Calculate

##### not

Fall : not(a2) and no...

spring, a0 = true , a...

spring, a0 = false , ...

Calculate

f:a0 and a1;

f,...

f:a0 and a2;

Calculate