Sponsored links: Algebra eBooks
 

Related

und

Run Example
(%i1)1/* Konjunktion */;
(%o1)                                  1
(%i2) und(x):=x[1]*x[2];
(%o2)                           und(x) := x  x
                                           1  2
(%i3) 2/* Disjunktion */;
(%o3)                                  2
(%i4) oder(x):=x[1]+x[2]-und(x);
(%o4)                     oder(x) := x  + x  - und(x)
                                      1    2
(%i5) S:{1,0};
(%o5)                               {0, 1}
(%i6) W:reverse(listify(cartesian_product(S,S)));
(%o6)                  [[1, 1], [1, 0], [0, 1], [0, 0]]
(%i7) map(und,W);
(%o7)                            [1, 0, 0, 0]
(%i8) map(oder,W);
(%o8)                            [1, 1, 1, 0]
(%i9) 
Run Example
1/* Konjunktion */;
(%o1)                                  1
(%i2) und(x,y):=x*y;
(%o2)                          und(x, y) := x y
(%i3) 2/* Disjunktion */;
(%o3)                                  2
(%i4) oder(x,y):=x+y-x*y;
(%o4)                    oder(x, y) := x + y + (- x) y
(%i5) S:{1,0};
(%o5)                               {0, 1}
(%i6) W:cartestian_product(S,S);
(%o6)                 cartestian_product({0, 1}, {0, 1})
(%i7) 
Run Example
1/* Konjunktion */;
(%o1)                                  1
(%i2) und(x):=x[1]*x[2];
(%o2)                           und(x) := x  x
                                           1  2
(%i3) 2/* Disjunktion */;
(%o3)                                  2
(%i4) oder(x):=x[1]+x[2]-und(x);
(%o4)                     oder(x) := x  + x  - und(x)
                                      1    2
(%i5) 3/* Wahrheitswerte */;
(%o5)                                  3
(%i6) S:{1,0};
(%o6)                               {0, 1}
(%i7) W:reverse(listify(cartesian_product(S,S)));
(%o7)                  [[1, 1], [1, 0], [0, 1], [0, 0]]
(%i8) map(und,W);
(%o8)                            [1, 0, 0, 0]
(%i9) map(oder,W);
(%o9)                            [1, 1, 1, 0]
(%i10) 

Related Help

Help for Und