Sponsored links: Algebra eBooks
 

Related

or

b0: a0 and a1;

b1: a0 and a2;

b2: (not a0 and a1 an...

Calculate

or-true

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

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

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

Calculate

and

x1:b0 and (not b2) ;

x2:(not b1) and b2 an...

x3: b and (not b2) an...

Calculate

and-block-do-floor-if

delit(c,d):=block([n:...

delit(2,8);

Calculate

or

y:(not a and c and d)...

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

Calculate

or-true

e3:(not a0 and a1 and...

e3, a0=false, a1=fals...

e3, a0=false, a1=fals...

Calculate

or-true

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

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

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

Calculate

or

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

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

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