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

Algebra Calculator

#### 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-apply-cardinality-every-integer_partitions-integerp-lambda-map-subset

integer_partitions (4);

s: integer_partition...

cardinality (s);

Calculate

##### and-apply-cardinality-every-integer_partitions-integerp-lambda-map-subset

integer_partitions (3);

s: integer_partition...

cardinality (s);

Calculate

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

xprimep(x) := integer...

cardinality (subset (...

Calculate

##### and

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

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

t3: (not a2) and (a...

Calculate

##### and-if-lambda-maplist

:lisp (mapcar (lambda...

:lisp (mapcar (lambda...

:lisp (maplist (lambd...

Calculate

##### and

￼t1: (not l3) and (no...

t2: (not l3) and l2 a...

t3: (not l3) and (not...

Calculate

##### and-true

t1:a3 and (not a0);

t2:a3 and a2 and a1;

t3:a2 and a1 and (not...

Calculate

##### and-true

l0: (not a0) and (not...

l0, a0=false,a1=false...

l0, a0=false,a1=false...

Calculate

##### and-true

v1: (not i1) and (i2)...

v1, i0 = false, i1 = ...

v1, i0 = false, i1 = ...

Calculate

##### and-or

SSeg_e:(((not B) and ...

Seg_e,A=true,B=false,...

Seg_e,A=true,B= false...

Calculate