Sponsored links: Algebra eBooks
 

Related

or

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

f,h...

Calculate

or

o4: (i3 and i2) or (i...

o3: i3 and (not i2) a...

o2: ((not i4) and i2)...

Calculate

and-false-or

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

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

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

Calculate

or

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

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

Calculate

and

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

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

t3:a3 and a1 and a0;

Calculate

or

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

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

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

op_and(u, v) := u * v;

op_not(u) := ...

op_or(u, v...

Calculate

[and,lhs,or]

Run Example
(%i1)ans1:[X=y,Y=x];
(%o1)                           [X = y, Y = x]
(%i2) eqn1:ans1[1];
(%o2)                                X = y
(%i3) eqn2:ans1[2];
(%o3)                                Y = x
(%i4) left_eqn1:lhs(eqn1);
(%o4)                                  X
(%i5) left_eqn2:lhs(eqn2);
(%o5)                                  Y
(%i6) ris1:((left_eqn1="X")and(left_eqn2="Y"))or((left_eqn1="Y")and(left_eqn2="X"));
(%o6)                                false
(%i7) 
Run Example
ans1:[X=y,Y=x];
(%o1)                           [X = y, Y = x]
(%i2) eqn1:ans1[1];
(%o2)                                X = y
(%i3) eqn2:ans1[2];
(%o3)                                Y = x
(%i4) left_eqn1:lhs(eqn1);
(%o4)                                  X
(%i5) left_eqn2:lhs(eqn2);
(%o5)                                  Y
(%i6) ris1:((is (left_eqn1=X))and(is (left_eqn2=Y)))or((is (left_eqn1=Y))and(is (left_eqn2=X)));
(%o6)                                true
(%i7) is (left_eqn1=X);
(%o7)                                true
(%i8) 
Run Example
ans1:[X=y,Y=x];
(%o1)                           [X = y, Y = x]
(%i2) eqn1:ans1[1];
(%o2)                                X = y
(%i3) eqn2:ans1[2];
(%o3)                                Y = x
(%i4) left_eqn1:lhs(eqn1);
(%o4)                                  X
(%i5) left_eqn2:lhs(eqn2);
(%o5)                                  Y
(%i6) ris1:((left_eqn1="X")and(left_eqn2="Y"))or((left_eqn1="Y")and(left_eqn2="X"));
(%o6)                                false
(%i7) (left_eqn1="X");
(%o7)                                X = X
(%i8) 

Related Help

Help for And

Help for Lhs

Help for Or