Sponsored links: Algebra eBooks
 

Related

infix

"xor"(r,s):= (r and n...

infix("xor");

Calculate

infix

infix("(2 + 3 * 5) - ...

Calculate

infix-true

"xor"(r,s):= (r and n...

infix("xor");

f:(x xor y xor z) or ...

Calculate

infix

"xor"(r,s):= (r and n...

infix("xor");

f:(x xor y xor z) or ...

Calculate

infix-true

"xor"(r,s):= (r and n...

infix("xor");

f:(x xor y xor z) or ...

Calculate

infix

infix("=>");

"=>"(p,q):=(not p)...

infix("<=>");

Calculate

infix-true

"xor"(r,s):= (r and n...

infix("xor");

f:(z xor y) and (z xo...

Calculate

infix-lambda-lreduce-map

infix("|");

"|"(p,[x]):='P(p)*lre...

Calculate

infix-true

"xor"(r,s):= (r and n...

infix("xor");

f:(z xor y) and (z xo...

Calculate

infix

Run Example
(%i1)infix("|");
(%o1)                                  |
(%i2) "|"(p,[x]):=P(p)*lreduce("*",fullmapl(lambda([y],P(y,p)), x));
(%o2)   p | [x] := P(p) lreduce("*", fullmapl(lambda([y], P(y, p)), x))
(%i3) p|[a,b,c,d,e];
(%o3) [P(a, p) P(p), P(b, p) P(p), P(c, p) P(p), P(d, p) P(p), P(e, p) P(p)]
(%i4) 
Run Example
"xor"(r,s):= (r and not s) or (not r and s);
(%o1)           xor(r, s) := (r and (not s)) or ((not r) and s)
(%i2)  infix("xor");
(%o2)                                 xor
(%i3) f:(x xor y xor z) or z and not y;
(%o3) (((x and (not y)) or ((not x) and y)) and (not z))
                or (((not x) or y) and (x or (not y)) and z) or (z and (not y))
(%i4) 
Run Example
"xor"(r,s):= (r and not s) or (not r and s);
(%o1)           xor(r, s) := (r and (not s)) or ((not r) and s)
(%i2)  infix("xor");
(%o2)                                 xor
(%i3) f:(x xor y xor z) or z and not y;
(%o3) (((x and (not y)) or ((not x) and y)) and (not z))
                or (((not x) or y) and (x or (not y)) and z) or (z and (not y))
(%i4) f, x = false, y = false, z = false;
(%o4)                                false
(%i5) 

Related Help

Help for Infix