Sponsored links: Algebra eBooks ### The Maxima on-line user's manual

Algebra Calculator

#### Search: #### And

-- Operator: and The logical conjunction operator. `and` is an n-ary infix operator; its operands are Boolean expressions, and its result is a Boolean value.

`and` forces evaluation (like `is`) of one or more operands, and may force evaluation of all operands.

Operands are evaluated in the order in which they appear. `and` evaluates only as many of its operands as necessary to determine the result. If any operand is `false`, the result is `false` and no further operands are evaluated.

The global flag `prederror` governs the behavior of `and` when an evaluated operand cannot be determined to be `true` or `false`. `and` 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.

`and` is not commutative: `a and b` might not be equal to `b and a` due to the treatment of indeterminate operands.

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

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

### Related Examples

##### and-or-true

b4: ((not a1) and ((n...

b4, a1=false ,a2=fals...

b4, a1=false ,a2=fals...

Calculate

##### and-cardinality-every-integer_partitions-integerp-lambda-primep-subset

xprimep(x) := integer...

k: subset (integer_pa...

cardinality (k);

Calculate

##### and-true

t1: (not a3) and (not...

t2: (not a2) and (not...

t3: (not a3) and (not...

Calculate

##### and

C:(not a2) or a3 or a1;

D:((not a1) and (not ...

E:((not a1) and (not ...

Calculate

##### and-true

t1:(a0) and (not a1) ...

t2:(not a0) and (a1) ...

t3:(not a0) and (not ...

Calculate

##### and-block-do-floor-if

delit(c,d):=block([n:...

delit(2,8);

5/3;

Calculate

##### and-true

jan: (not a) and (not...

jan,a=false, b=false,...

Calculate

##### and-expand-not-or

op_and(u, v) := u * v;

op_and(1, 0);

op_not(u) := ...

Calculate

##### and-false

t0: (not a) and (not ...

t15: a and b and c an...

t14: a and b and c an...

Calculate

##### and

op7: (not a3) and (no...

op7,a0=true,a1=false,...

op7,a0=false,a1=true,...

Calculate 