Related

or-true

f:(E and F) or (D and...

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

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

Calculate

or

g:(a and f) or (c and...

g, a = true, b,c,d,e ...

g, b,d = true, a,c,e,...

Calculate

or

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

f...

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

Calculate

or

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

Calculate

or-true

W: (not A and B) and ...

X: ((not B and C) and...

Y: ((not A and B) and...

Calculate

or-true

f:(not a and not b an...

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

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

Calculate

or

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

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

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

Calculate

or

f=hc+pcf:(h and not c...

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

Calculate

or

a:((a0 and not a1 and...

a,a0=false,a1=false,a...

a,a0=true,a1=false,a2...

Calculate

or-true

b0:(not a3 and a0) or...

b1: (not a3 and not a...

b2: (not a2 and not a...

Calculate

or

Run Example
```(%i1)X:((A and F) or (B and D) or (C and E)) and (((not A and D) or (A and not D)) or ((not B and E) or (B and not E)) or ((not C and F) or (C and not F)));
(%o1) ((A and F) or (B and D) or (C and E))
and (((not A) and D) or (A and (not D)) or ((not B) and E) or (B and (not E)) or ((not C) and F)
or (C and (not F)))
(%i2) Y:((C and D) or (A and E) or (B and F)) and (((not A and D) or (A and not D)) or ((not B and E) or (B and not E)) or ((not C and F) or (C and not F)));
(%o2) ((C and D) or (A and E) or (B and F))
and (((not A) and D) or (A and (not D)) or ((not B) and E) or (B and (not E)) or ((not C) and F)
or (C and (not F)))
(%i3) X, A=false, B=true, C=false, D=true, E=false, F=false;
(%o3)                                true
(%i4) Y, A=false, B=true, C=false, D=true, E=false, F=false;
(%o4)                                false
(%i5) ```
Run Example
```f:(h and not c) or (p and not c);
(%o1)                 (h and (not c)) or (p and (not c))
(%i2)     f,h=false,c=false,p=false;
(%o2)                                false
(%i3) ```
Run Example
```e:(x1 and not x2) or (x1 and x3) or (not x2 and x3) or (not x1 and not x2 and not x4) or (not x1 and x3 and x4);
(%o1) (x1 and (not x2)) or (x1 and x3) or ((not x2) and x3)
or ((not x1) and (not x2) and (not x4)) or ((not x1) and x3 and x4)
(%i2)   e, x1=true, x2=true, x3= true, x4= true;
(%o2)                                true
(%i3) e, x1=true, x2=true, x3= true, x4= false;
(%o3)                                true
(%i4) e, x1=true, x2=true, x3= false, x4= true;
(%o4)                                false
(%i5) e, x1=true, x2=true, x3= false, x4= false;
(%o5)                                false
(%i6) e, x1=true, x2=false, x3= true, x4= true;
(%o6)                                true
(%i7) e, x1=true, x2=false, x3= true, x4= false;
(%o7)                                true
(%i8) e, x1=true, x2=false, x3= false, x4= true;
(%o8)                                true
(%i9) e, x1=true, x2=false, x3= false, x4= false;
(%o9)                                true
(%i10) e, x1=false, x2=true, x3= true, x4= true;
(%o10)                               true
(%i11) e, x1=false, x2=true, x3= true, x4= false;
(%o11)                               false
(%i12) e, x1=false, x2=true, x3= false, x4= true;
(%o12)                               false
(%i13) e, x1=false, x2=true, x3= false, x4= false;
(%o13)                               false
(%i14) e, x1=false, x2=false, x3= true, x4= true;
(%o14)                               true
(%i15) e, x1=false, x2=false, x3= true, x4= false;
(%o15)                               true
(%i16) e, x1=false, x2=false, x3= false, x4= true;
(%o16)                               false
(%i17) e, x1=false, x2=false, x3= false, x4= false;
(%o17)                               true
(%i18) ```

Help for Or