Sponsored links: Algebra eBooks
 

Related

factor

factor(2*x + 2);

Calculate

and

eq1:(not a0);

eq2: a0 and (not a1) ...

output: eq1 or eq2;

Calculate

and-cos-do-entier-float-if-load-makelist-max-min

load (newton1);

x_min : -10;

x_max : 10;

Calculate

and

f: not a or b or not ...

g: a or not b or c or...

h: a or not b or not ...

Calculate

factor-load

load(functs);

factor((combination(...

Calculate

factor-ratsimp

factor(10010);

factor(82);

factor(4*x^3-2*x^2-224);

Calculate

factor

factor(45!);

Calculate

and-listp

:lisp (defvar *my-lis...

:lisp (defun count-no...

:lisp (count-nodes *m...

Calculate

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

s: integer_partitions...

cardinality (s);

xprimep(x) := intege...

Calculate

and

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

x0: (a3) and (a2 or a...

i1: (a3 and a2 and (n...

Calculate

[and,factor]

Run Example
(%i1)t0:(a3 and (not a0));
(%o1)                           a3 and (not a0)
(%i2) t1:(a3 and a2 and a1);
(%o2)                          a3 and a2 and a1
(%i3) t2:(a2 and a1 and (not a0));
(%o3)                       a2 and a1 and (not a0)
(%i4) factor:t0 or t1 or t2;
(%o4) (a3 and (not a0)) or (a3 and a2 and a1) or (a2 and a1 and (not a0))
(%i5) factor, a0=false,a1=false,a2=false,a3=false;
(%o5)                                false
(%i6) factor, a0=true,a1=false,a2=false,a3=false;
(%o6)                                false
(%i7) factor, a0=false,a1=true,a2=false,a3=false;
(%o7)                                false
(%i8) factor, a0=true,a1=true,a2=false,a3=false;
(%o8)                                false
(%i9) factor, a0=false,a1=false,a2=true,a3=false;
(%o9)                                false
(%i10) factor, a0=true,a1=false,a2=true,a3=false;
(%o10)                               false
(%i11) factor, a0=false,a1=true,a2=true,a3=false;
(%o11)                               true
(%i12) factor, a0=true,a1=true,a2=true,a3=false;
(%o12)                               false
(%i13) factor, a0=false,a1=false,a2=false,a3=true;
(%o13)                               true
(%i14) factor, a0=true,a1=false,a2=false,a3=true;
(%o14)                               false
(%i15) factor, a0=false,a1=true,a2=false,a3=true;
(%o15)                               true
(%i16) factor, a0=true,a1=true,a2=false,a3=true;
(%o16)                               false
(%i17) factor, a0=false,a1=false,a2=true,a3=true;
(%o17)                               true
(%i18) factor, a0=true,a1=false,a2=true,a3=true;
(%o18)                               false
(%i19) factor, a0=false,a1=true,a2=true,a3=true;
(%o19)                               true
(%i20) factor, a0=true,a1=true,a2=true,a3=true;
(%o20)                               true
(%i21) 
Run Example
f1: a3 and (not a1)  and a0;
(%o1)                       a3 and (not a1) and a0
(%i2) f2: (not a3) and a1 and a0;
(%o2)                       (not a3) and a1 and a0
(%i3) f3: (not a2) and a1 and a0;
(%o3)                       (not a2) and a1 and a0
(%i4) f4: (not a3) and ( not a2) and a1;
(%o4)                    (not a3) and (not a2) and a1
(%i5) factor: f1 or f2 or f3 or f4;
(%o5) (a3 and (not a1) and a0) or ((not a3) and a1 and a0)
                  or ((not a2) and a1 and a0) or ((not a3) and (not a2) and a1)
(%i6) factor, a0=true,a1=true,a2=false, a3=false;
(%o6)                                true
(%i7) factor, a0=true,a1=false,a2=true, a3=false;
(%o7)                                false
(%i8) factor, a0=true,a1=true,a2=true, a3=false;
(%o8)                                true
(%i9) factor, a0=true,a1=true,a2=false, a3=true;
(%o9)                                true
(%i10) factor, a0=true,a1=false,a2=true, a3=true;
(%o10)                               true
(%i11) 
Run Example
t0:((not a3) and (not a2) and a1);
(%o1)                    (not a3) and (not a2) and a1
(%i2) t1:((not a3) and a1 and a0);
(%o2)                       (not a3) and a1 and a0
(%i3) t2:(a2 and (not a1));
(%o3)                           a2 and (not a1)
(%i4) t3:(a3 and (not a2) and a0);
(%o4)                       a3 and (not a2) and a0
(%i5) factor:t0 or t1 or t2 or t3;
(%o5) ((not a3) and (not a2) and a1) or ((not a3) and a1 and a0)
                               or (a2 and (not a1)) or (a3 and (not a2) and a0)
(%i6) factor, a0=false,a1=false,a2=false,a3=false;
(%o6)                                false
(%i7) factor, a0=true,a1=false,a2=false,a3=false;
(%o7)                                false
(%i8) factor, a0=false,a1=true,a2=false,a3=false;
(%o8)                                true
(%i9) factor, a0=true,a1=true,a2=false,a3=false;
(%o9)                                true
(%i10) factor, a0=false,a1=false,a2=true,a3=false;
(%o10)                               true
(%i11) factor, a0=true,a1=false,a2=true,a3=false;
(%o11)                               true
(%i12) factor, a0=false,a1=true,a2=true,a3=false;
(%o12)                               false
(%i13) factor, a0=true,a1=true,a2=true,a3=false;
(%o13)                               true
(%i14) factor, a0=false,a1=false,a2=false,a3=true;
(%o14)                               false
(%i15) factor, a0=true,a1=false,a2=false,a3=true;
(%o15)                               true
(%i16) factor, a0=false,a1=true,a2=false,a3=true;
(%o16)                               false
(%i17) factor, a0=true,a1=true,a2=false,a3=true;
(%o17)                               true
(%i18) factor, a0=false,a1=false,a2=true,a3=true;
(%o18)                               true
(%i19) factor, a0=true,a1=false,a2=true,a3=true;
(%o19)                               true
(%i20) factor, a0=false,a1=true,a2=true,a3=true;
(%o20)                               false
(%i21) factor, a0=true,a1=true,a2=true,a3=true;
(%o21)                               false
(%i22) 

Related Help

Help for And

Help for Factor