Sponsored links: Algebra eBooks
 

Related

and

hydrogen: (a) and (a)...

helium: (a) and (a) a...

lithium: (a) and (not...

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-subset

s: integer_partitions...

cardinality (s);

xprimep(x) := integer...

Calculate

or

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

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

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

Calculate

and-true

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

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

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

Calculate

and

t1: a0;

t2: a1 and (a2 and a3);

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

Calculate

or

f: not a and b and no...

g: a and not b and c ...

h: a and not b and no...

Calculate

or

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

f,A=True,B=False,C=Fa...

Calculate

or

f:((not I0) and I1 an...

Calculate

and-or-true

f:((not a) and (not c...

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

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

Calculate

[and,not,or]

Run Example
(%i1)bp_and(x,y) := x * y;
(%o1)                         bp_and(x, y) := x y
(%i2) 			bp_not(x) := 1 - x;
(%o2)                         bp_not(x) := 1 - x
(%i3) 			bp_or(x,y) := (1 - x)*y+x;
(%o3)                    bp_or(x, y) := (1 - x) y + x
(%i4) 									bp_xor(x,y) := bp_or(bp_and(bp_not(x),y),bp_and(x,bp_not(y)));
(%o4)  bp_xor(x, y) := bp_or(bp_and(bp_not(x), y), bp_and(x, bp_not(y)))
(%i5) 						bp_xor(1,0);
(%o5)                                  1
(%i6) 
Run Example
bp_and(x,y) := x * y;
(%o1)                         bp_and(x, y) := x y
(%i2) 			bp_not(x) := 1 - x;
(%o2)                         bp_not(x) := 1 - x
(%i3) 			bp_or(x,y) := (1 - x)*y+x;
(%o3)                    bp_or(x, y) := (1 - x) y + x
(%i4) 									bp_xor(x,y) := bp_or(bp_and(bp_not(x),y),bp_and(x,bp_not(y)));
(%o4)  bp_xor(x, y) := bp_or(bp_and(bp_not(x), y), bp_and(x, bp_not(y)))
(%i5) 						bp_xor(0,0);
(%o5)                                  0
(%i6) 			bp_xor(0,1);
(%o6)                                  1
(%i7) 			bp_xor(1,0);
(%o7)                                  1
(%i8) 			bp_xor(1,1);
(%o8)                                  0
(%i9) 									bp_xor(operande1, operande2);
(%o9) operande1 (1 - operande2) (1 - (1 - operande1) operande2)
                                                    + (1 - operande1) operande2
(%i10) 
Run Example
bp_and(x,y) := x * y;
(%o1)                         bp_and(x, y) := x y
(%i2) 			bp_not(x) := 1 - x;
(%o2)                         bp_not(x) := 1 - x
(%i3) 			bp_or(x,y) := (1 - x)*y+x;
(%o3)                    bp_or(x, y) := (1 - x) y + x
(%i4) 									bp_xor(x,y) := bp_or(bp_and(bp_not(x),y),bp_and(x,bp_not(y)));
(%o4)  bp_xor(x, y) := bp_or(bp_and(bp_not(x), y), bp_and(x, bp_not(y)))
(%i5) 						bp_xor(0,0);
(%o5)                                  0
(%i6) 			bp_xor(0,1);
(%o6)                                  1
(%i7) 			bp_xor(1,0);
(%o7)                                  1
(%i8) 			bp_xor(1,1);
(%o8)                                  0
(%i9) 									symplify(bp_xor(operande1, operande2));
(%o9) symplify(operande1 (1 - operande2) (1 - (1 - operande1) operande2)
                                                   + (1 - operande1) operande2)
(%i10) 
[abs,append,block,emptyp,errcatch,errormsg,find_root,first,flatten,floor,if,listp,makelist,not,numer,rest,second,sin] [and,apply,cardinality,every,integer_partitions,integerp,lambda,map,subset] [and,cardinality,every,integer_partitions,integerp,lambda,primep,subset] [and,cardinality,every,integer_partitions,integerp,lambda,subset] [and,debugmode,disp,do,if,matrix,true] [and,equal,if,is,not] [and,expand,not,or] [and,false,or] [and,false] [and,fib] [and,if,labels,lambda,let,not,or] [and,if,lambda,maplist] [and,intersection,listp,or,union] [and,lhs,or] [and,not,or] [and,or,ratsimp] [and,or,true] [and,or] [and,pi,true] [and,pi] [and,true] [and] [append,atom,block,delete,do,emptyp,freeof,if,indices,lambda,length,lmax,lmin,makelist,map,member,not,sublist_indices,subst] [append,block,buildq,emptyp,find_root,first,flatten,floor,kill,last,listp,makelist,not,rest,second,sin] [append,block,ceiling,emptyp,ev,first,flatten,floor,if,length,makelist,not,second] [append,block,ceiling,emptyp,first,flatten,floor,if,length,makelist,not,second] [append,block,delete,do,emptyp,if,lambda,length,makelist,map,not,subst] [append,block,emptyp,errcatch,errormsg,find_root,first,flatten,floor,if,listp,makelist,not,numer,rest,second,sin] [append,block,emptyp,errcatch,errormsg,first,flatten,floor,if,listp,makelist,not,rest,second,sin] [append,block,emptyp,errcatch,find_root,first,flatten,floor,kill,last,listp,makelist,not,rest,second,sin] [append,block,emptyp,find_root,first,flatten,floor,kill,last,length,listp,makelist,not,rest,second,sin] [append,block,emptyp,find_root,first,flatten,floor,kill,last,listp,makelist,not,rest,second,sin] [bfloat,bftorat,block,emptyp,equal,first,fpprec,if,is,mod,not,numer,ratepsilon,ratprint,return,round] [bfloat,bftorat,block,emptyp,first,fpprec,if,mod,not,numer,ratepsilon,ratprint,return] [bftorat,block,emptyp,equal,first,float,fpprec,if,is,mod,not,numer,ratepsilon,ratprint,return,round] [bftorat,block,emptyp,first,float,fpprec,if,integerp,mod,not,numer,ratepsilon,ratprint,return] [block,declare,dim,emptyp,evfun,false,get,if,length,not,sqrt] [block,delete,emptyp,if,lambda,length,makelist,map,not,subst] [do,if,lambda,let,not,or,reverse] [do,if,lambda,let,or,string,values] [do,if,lambda,let,or,values] [false,or] [if,lambda,let,or,values] [if,or] [not,or,part,reveal] [not,or,true] [not,or] [not] [or,true] [or]

Related Help

Help for And

Help for Not

Help for Or