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

Algebra Calculator

#### Search: #### Or

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

`or` 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. `or` evaluates only as many of its operands as necessary to determine the result. If any operand is `true`, the result is `true` and no further operands are evaluated.

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

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

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

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

### Related Examples

##### or

I1:(a1 and not a3) or...

I2: (not a3 and not a...

I3: (not a3 and not a...

Calculate

##### or-true

b2:(not a3 and a0) or...

b2,a3=false,a2=false,...

b2,a3=false,a2=false,...

Calculate

##### or

S : (not a1 and a2 an...

Calculate

##### or

(x and y)or(x and z)o...

Calculate

##### or-true

f:(not a and d) or (a...

f,a=false,b=false,c=f...

Calculate

##### or

f: (not A and not C) ...

f,A=false,B=true,C=fa...

Calculate

##### or-true

b0:(not a3 and a0) or...

b1: (not a3 and not a...

b2: (not a2 and not a...

Calculate

##### or

T:(not A and not C) o...

U: (not A and B and D...

V: (not A and B and C...

Calculate

##### or

I1:(a1 and not a3) or...

I2: (not a3 and not a...

I3: (not a3 and not a...

Calculate

##### or

f:(h and not c) or (p...

f,h=false,c=false,p=f...

f,h=true,c=false,p=fa...

Calculate 