Sponsored links: Algebra eBooks
 

Related

and-false-or

v1: (not i1) and (i2)...

v2: (not i2) and (not...

v4: (i0) and (not i1)...

Calculate

and-false

t0: (not a) and (not ...

t15: a and b and c an...

t14: a and b and c an...

Calculate

and-false

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

L1,A = true, B=true, ...

Calculate

and-false-or

t0: (not a) and (not ...

t15: a and b and c an...

t14: a and b and c an...

Calculate

and-false

v1: (not i1) and (i2)...

v1, i0 = true, i1 = t...

v1, i0 = true, i1 = t...

Calculate

and-false-or

f:(f,a=true, b=true, ...

f,a=true, b=true, c=t...

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

Calculate

and-false-or

v1: (not i1) and (i2)...

v2: (not i2) and (not...

v4: (i0) and (not i1)...

Calculate

and-false

ZERO: (not ON) and (n...

ONE: (not ON) and (no...

THREE: (not ON) and (...

Calculate

and-false-or

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

f,a=true,b=true,c=tru...

f,a=true,b=true,c=tru...

Calculate

and-false

t0: (not a) and (not ...

t15: a and b and c an...

t14: a and b and c an...

Calculate

[and,false]

Run Example
(%i1)B4: A3 and (A2 or A1);
(%o1)                          A3 and (A2 or A1)
(%i2) B4,A1=true,A2=true,A3=true;
(%o2)                                true
(%i3) B4,A1=true,A2=true,A3=false;
(%o3)                                false
(%i4) B4,A1=true,A2=false,A3=true;
(%o4)                                true
(%i5) B4,A1=true,A2=false,A3=false;
(%o5)                                false
(%i6) B4,A1=false,A2=true,A3=true;
(%o6)                                true
(%i7) B4,A1=false,A2=true,A3=false;
(%o7)                                false
(%i8) B4,A1=false,A2=false,A3=true;
(%o8)                                false
(%i9) B4,A1=false,A2=false,A3=false;
(%o9)                                false
(%i10) B3: A3 and not A2 and not A1;
(%o10)                   A3 and (not A2) and (not A1)
(%i11) B3,A1=true,A2=true,A3=true;
(%o11)                               false
(%i12) B3,A1=true,A2=true,A3=false;
(%o12)                               false
(%i13) B3,A1=true,A2=false,A3=true;
(%o13)                               false
(%i14) B3,A1=true,A2=false,A3=false;
(%o14)                               false
(%i15) B3,A1=false,A2=true,A3=true;
(%o15)                               false
(%i16) B3,A1=false,A2=true,A3=false;
(%o16)                               false
(%i17) B3,A1=false,A2=false,A3=true;
(%o17)                               true
(%i18) B3,A1=false,A2=false,A3=false;
(%o18)                               false
(%i19) B2: (not A3 and A2) or (A2 and A1);
(%o19)                 ((not A3) and A2) or (A2 and A1)
(%i20) B2,A1=true,A2=true,A3=true;
(%o20)                               true
(%i21) B2,A1=true,A2=true,A3=false;
(%o21)                               true
(%i22) B2,A1=true,A2=false,A3=true;
(%o22)                               false
(%i23) B2,A1=true,A2=false,A3=false;
(%o23)                               false
(%i24) B2,A1=false,A2=true,A3=true;
(%o24)                               false
(%i25) B2,A1=false,A2=true,A3=false;
(%o25)                               true
(%i26) B2,A1=false,A2=false,A3=true;
(%o26)                               false
(%i27) B2,A1=false,A2=false,A3=false;
(%o27)                               false
(%i28) B1: ((not A3) and A1) or (A3 and A2 and (not A1));
(%o28)           ((not A3) and A1) or (A3 and A2 and (not A1))
(%i29) B1,A1=true,A2=true,A3=true;
(%o29)                               false
(%i30) B1,A1=true,A2=true,A3=false;
(%o30)                               true
(%i31) B1,A1=true,A2=false,A3=true;
(%o31)                               false
(%i32) B1,A1=true,A2=false,A3=false;
(%o32)                               true
(%i33) B1,A1=false,A2=true,A3=true;
(%o33)                               true
(%i34) B1,A1=false,A2=true,A3=false;
(%o34)                               false
(%i35) B1,A1=false,A2=false,A3=true;
(%o35)                               false
(%i36) B1,A1=false,A2=false,A3=false;
(%o36)                               false
(%i37) 
Run Example
f:(p or h) and (not c);
(%o1)                        (p or h) and (not c)
(%i2) f,p=true,h=true,c=false;
(%o2)                                true
(%i3) 
Run Example
t1: (not a3) and (not a2 and a1);
(%o1)                    (not a3) and (not a2) and a1
(%i2)  t2: (not a3) and (a2 and a0);
(%o2)                       (not a3) and a2 and a0
(%i3)   t3: (not a2) and (a1 and a0);
(%o3)                       (not a2) and a1 and a0
(%i4)  t4: (not a1) and (a2 and a0);
(%o4)                       (not a1) and a2 and a0
(%i5) t5: t1 or t2 or t3 or t4;
(%o5) ((not a3) and (not a2) and a1) or ((not a3) and a2 and a0)
                        or ((not a2) and a1 and a0) or ((not a1) and a2 and a0)
(%i6) t5, a0=true, a1=true,a2=true, a3=false;
(%o6)                                true
(%i7) 
[and,cardinality,every,integer_partitions,integerp,lambda,primep,subset] [and,cardinality,every,integer_partitions,integerp,lambda,subset] [and,false,or] [and,false] [and,or,true] [and,or] [and,true] [and] [bfloat,block,denom,false,float,mod,ratexpand,ratprint] [bftorat,block,delete,ev,false,float,if,integerp,mod,ratdenom,ratepsilon,ratprint] [bftorat,block,false,float2bf,fpprec,if,integerp,kill,mod,ratdenom,ratepsilon,ratprint,return] [cardinality,false,powerset,simp] [cardinality,false,simp] [cos,display2d,false,matrix,sin,trigsimp] [cos,display2d,false,matrix,sin] [cos,display2d,false,sin,solve] [diff,display2d,exp,false,solve] [diff,display2d,expand,false,solve] [diff,display2d,false,ratsimp,subst] [diff,display2d,false,subst] [diff,display2d,false] [diff,false,ic1,ode2,plot2d,ratprint,ratsimp,rhs] [display2d,eliminate,false,solve] [display2d,expand,false,load,plot2d] [display2d,expand,false,ratsimp] [display2d,expand,false,sqrt] [display2d,expand,false] [display2d,expandwrt,false] [display2d,false,floor,solve] [display2d,false,plot2d,sqrt] [display2d,false,plot2d] [display2d,false,rat] [display2d,false,ratsimp,solve,subst] [display2d,false,ratsimp,solve] [display2d,false,ratsimp] [display2d,false,sin,sqrt] [display2d,false,solve,sqrt] [display2d,false,solve,subst] [display2d,false,solve] [display2d,false,sqrt] [display2d,false] [einstein,false,invert,kill,load,ratfac,ratriemann,rinvariant,scurvature,sin,true] [false,integrate,kill,load,quad_qags,ratprint,sin] [false,invert,load,rateinstein,ratfac,ratriemann,sin,true] [false,is,part,sconcat,simp,split,string] [false,kill,quad_qags,ratprint,sin] [false,load] [false,or] [false,simp] [false]

Related Help

Help for And

Help for False