### 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) ```

Help for And

Help for False