### Related

##### and

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

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

t3: a3 and a2 and (no...

Calculate

##### and-true

t1: (not s) and (g or...

t2: (not s) and (not ...

TakeNothing: t1 or t2;

Calculate

##### and-intersection-listp-or-union

:lisp (defvar *my-lis...

:lisp (defun count-no...

:lisp (count-nodes *m...

Calculate

##### and

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

t2: a3 and (not a1) a...

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

Calculate

##### and-or

x: ((not a) and (not ...

main: ((not a) and b ...

Calculate

##### and-cos-do-if-lambda-print-sin

:lisp (defun sum (ter...

:lisp (do ((x -4 (+ x...

Calculate

##### and-true

t1:a2 and (not a1);

t2:a3 and (not a1) an...

t3:a3 and a2 and a1;

Calculate

##### and-or-true

x3: ((not A) and (not...

x3, A=false, B=false,...

x3, A=false, B=false...

Calculate

##### and-or

a = 2;

x=( 0 < a ) and ( ...

Calculate

##### and-or

b0:(not a1) or ((not ...

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

b2: a2 and a0;

Calculate

### and

Run Example
```(%i1):lisp (mapcar (lambda (x) (and (atom x) (symbolp x))) '(a * (+ 2 3)));

(T T NIL)
(%i1) :lisp (mapcar (lambda (x) (if (listp x) (cadr x))) '(a * (2 + 3)));

(NIL NIL +)
(%i1) ```
Run Example
```f(x):=m*x+t;
(%o1)                           f(x) := m x + t
(%i2) solve((f(0)=0) and (f(1)=b), t);
(%o2)                                 []
(%i3) ```
Run Example
```t1:(not a0) and (not a1) and (not a2) and a3;
(%o1)              (not a0) and (not a1) and (not a2) and a3
(%i2) t2:a0 and a1 and (not a3);
(%o2)                       a0 and a1 and (not a3)
(%i3) t3:a1 and (not a2) and (not a3);
(%o3)                    a1 and (not a2) and (not a3)
(%i4) out3: t1 or t2 or t3;
(%o4) ((not a0) and (not a1) and (not a2) and a3) or (a0 and a1 and (not a3))
or (a1 and (not a2) and (not a3))
(%i5) out3, a0=false ,a1=false, a2=false, a3=false;
(%o5)                                false
(%i6) out3, a0=true,a1=false, a2=false, a3=false;
(%o6)                                false
(%i7) out3, a0=false,a1=true, a2=false, a3=false;
(%o7)                                true
(%i8) out3, a0=true,a1=true, a2=false, a3=false;
(%o8)                                true
(%i9) out3, a0=false,a1=false, a2=true, a3=false;
(%o9)                                false
(%i10) out3, a0=true,a1=false, a2=true, a3=false;
(%o10)                               false
(%i11) out3, a0=false,a1=true, a2=true, a3=false;
(%o11)                               false
(%i12) out3, a0=true,a1=true, a2=true, a3=false;
(%o12)                               true
(%i13) out3, a0=false,a1=false, a2=false, a3=true;
(%o13)                               true
(%i14) out3, a0=true,a1=false, a2=false, a3=true;
(%o14)                               false
(%i15) ```

Help for And