Sponsored links: Algebra eBooks
 

Related

and-false

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

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

t3:a3 and a1 and a0;

Calculate

and-false

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

f,p=true,h=true,c=false;

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

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

l0:t1;

l0, a0 = true, a1 = t...

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

o3 = ((not a1) and (n...

o3, a0 = true, a1 = t...

o3, a0 = true, a1 = t...

Calculate

and-false

B4: A3 and (A2 or A1);

B4,A1=true,A2=true,A3...

B4,A1=true,A2=true,A3...

Calculate

and-false

L1:(AorC) and (AorB);

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

Calculate

and-false

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

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

t3:a3 and a1 and a0;

Calculate

and-false

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

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

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

Calculate

[and,false]

Run Example
(%i1)t1:(not a3) and (not a0) and (not a1) ;
(%o1)                 (not a3) and (not a0) and (not a1)
(%i2) t2: a2 and (not a3) and (not a0);
(%o2)                    a2 and (not a3) and (not a0)
(%i3) t3: (not a2) and a3 and a0 and (not a1);
(%o3)                 (not a2) and a3 and a0 and (not a1)
(%i4) l1: t1 or t2 or t3;
(%o4) ((not a3) and (not a0) and (not a1)) or (a2 and (not a3) and (not a0))
                                       or ((not a2) and a3 and a0 and (not a1))
(%i5) l1, a0 = true, a1 = true, a2 = true, a3 = true;
(%o5)                                false
(%i6) l1, a0 = true, a1 = true, a2 = true, a3 = false;
(%o6)                                false
(%i7) l1, a0 = true, a1 = true, a2 = false, a3 = true;
(%o7)                                false
(%i8) l1, a0 = true, a1 = true, a2 = false, a3 = false;
(%o8)                                false
(%i9) l1, a0 = true, a1 = false, a2 = true, a3 = true;
(%o9)                                false
(%i10) l1, a0 = true, a1 = false, a2 = true, a3 = false;
(%o10)                               false
(%i11) l1, a0 = true, a1 = false, a2 = false, a3 = true;
(%o11)                               true
(%i12) l1, a0 = true, a1 = false, a2 = false, a3 = false;
(%o12)                               false
(%i13) l1, a0 = false, a1 = true, a2 = true, a3 = true;
(%o13)                               false
(%i14) l1, a0 = false, a1 = true, a2 = true, a3 = false;
(%o14)                               true
(%i15) l1, a0 = false, a1 = true, a2 = false, a3 = true;
(%o15)                               false
(%i16) l1, a0 = false, a1 = true, a2 = false, a3 = false;
(%o16)                               false
(%i17) l1, a0 = false, a1 = false, a2 = true, a3 = true;
(%o17)                               false
(%i18) l1, a0 = false, a1 = false, a2 = true, a3 = false;
(%o18)                               true
(%i19) l1, a0 = false, a1 = false, a2 = false, a3 = true;
(%o19)                               false
(%i20) l1, a0 = false, a1 = false, a2 = false, a3 = false;
(%o20)                               true
(%i21) 
Run Example
t1: a2 and (not a3) and (not a0 ) and (not a1);
(%o1)              a2 and (not a3) and (not a0) and (not a1)
(%i2) l3:t1;
(%o2)              a2 and (not a3) and (not a0) and (not a1)
(%i3) l3, a0 = true, a1 = true, a2 = true, a3 = true;
(%o3)                                false
(%i4) l3, a0 = true, a1 = true, a2 = true, a3 = false;
(%o4)                                false
(%i5) l3, a0 = true, a1 = true, a2 = false, a3 = true;
(%o5)                                false
(%i6) l3, a0 = true, a1 = true, a2 = false, a3 = false;
(%o6)                                false
(%i7) l3, a0 = true, a1 = false, a2 = true, a3 = true;
(%o7)                                false
(%i8) l3, a0 = true, a1 = false, a2 = true, a3 = false;
(%o8)                                false
(%i9) l3, a0 = true, a1 = false, a2 = false, a3 = true;
(%o9)                                false
(%i10) l3, a0 = true, a1 = false, a2 = false, a3 = false;
(%o10)                               false
(%i11) l3, a0 = false, a1 = true, a2 = true, a3 = true;
(%o11)                               false
(%i12) l3, a0 = false, a1 = true, a2 = true, a3 = false;
(%o12)                               false
(%i13) l3, a0 = false, a1 = true, a2 = false, a3 = true;
(%o13)                               false
(%i14) l3, a0 = false, a1 = true, a2 = false, a3 = false;
(%o14)                               false
(%i15) l3, a0 = false, a1 = false, a2 = true, a3 = true;
(%o15)                               false
(%i16) l3, a0 = false, a1 = false, a2 = true, a3 = false;
(%o16)                               true
(%i17) l3, a0 = false, a1 = false, a2 = false, a3 = true;
(%o17)                               false
(%i18) l3, a0 = false, a1 = false, a2 = false, a3 = false;
(%o18)                               false
(%i19) 
Run Example
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) 
[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