Pages created and updated by
Terry Sturtevant
Date Posted:
March 27, 2015
bash-4.1$ maxima Maxima 5.25.1 http://maxima.sourceforge.net using Lisp CLISP 2.49 (2010-07-07) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1)
(%i1) (not a3) and (not a2 and a1);
(%o1) (not a3) and (not a2) and a1
(%i1) t1: (not a3) and (not a2 and a1);
(%o1) (not a3) and (not a2) and a1
(%i2) (not a3) and (a2 and a0); (%o2) (not a3) and a2 and a0 (%i3) (not a2) and (a1 and a0); (%o3) (not a2) and a1 and a0 (%i4) (not a1) and (a2 and a0); (%o4) (not a1) and a2 and a0
(%i2) t2: (not a3) and (a2 and a0); (%o2) (not a3) and a2 and a0 (%i3) t3: (not a2) and (a1 and a0); (%o3) (not a2) and a1 and a0 (%i4) t4: (not a1) and (a2 and a0); (%o4) (not a1) and a2 and a0
(%i5) %o1 or %o2 or %o3 or %o4;
(%o5) ((not a3) and (not a2) and a1) or ((not a3) and a2 and a0)
or ((not a2) and a1 and a0) or ((not a1) and a2 and a0)
(%i5) t1 or t2 or t3 or t4;
(%o5) ((not a3) and (not a2) and a1) or ((not a3) and a2 and a0)
or ((not a2) and a1 and a0) or ((not a1) and a2 and a0)
(%i6) %o5, a0=false, a1=false,a2=false, a3=false;
(%o6) false
(%i6) %o5, a0=false, a1=false,a2=false, a3=false; (%o6) false (%i7) save("test",all); (%o7) /home/terry/maxima/test
(%o7) /home/terry/maxima/test
(%i8) quit();
bash-4.1$ maxima
Maxima 5.25.1 http://maxima.sourceforge.net
using Lisp CLISP 2.49 (2010-07-07)
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) load("test");
(%o7) test
Notice that the statement number has jumped ahead; all of the
statements from the previous session have been included in
this one.
(%i1) load("test"); (%o7) test (%i8) %o5; (%o8) ((not a3) and (not a2) and a1) or ((not a3) and a2 and a0) or ((not a2) and a1 and a0) or ((not a1) and a2 and a0)
(%i9) %o5, a0=true, a1=false,a2=false, a3=false; (%o9) false (%i10) %o5, a0=false, a1=true,a2=false, a3=false; (%o10) true
(%i11) for a0 in [false,true]
do for a1 in [false,true]
do for a2 in [false,true]
do for a3 in [false,true]
do (t1:(not a3) and (not a2 and a1),
t2:(not a3) and (a2 and a0),
t3:(not a2) and (a1 and a0),
t4:(not a1) and (a2 and a0),
result:t1 or t2 or t3 or t4,
display(a0,a1,a2,a3,result));
a0 = false a1 = false a2 = false a3 = false result = false a0 = false a1 = false a2 = false a3 = true result = false a0 = false a1 = false a2 = true a3 = false result = false a0 = false a1 = false a2 = true a3 = true result = false a0 = false a1 = true a2 = false a3 = false result = true a0 = false a1 = true a2 = false a3 = true result = false a0 = false a1 = true a2 = true a3 = false result = false a0 = false a1 = true a2 = true a3 = true result = false a0 = true a1 = false a2 = false a3 = false result = false a0 = true a1 = false a2 = false a3 = true result = false a0 = true a1 = false a2 = true a3 = false result = true a0 = true a1 = false a2 = true a3 = true result = true a0 = true a1 = true a2 = false a3 = false result = true a0 = true a1 = true a2 = false a3 = true result = true a0 = true a1 = true a2 = true a3 = false result = true a0 = true a1 = true a2 = true a3 = true result = false (%o11) done
Wilfrid Laurier University
© 2015 Wilfrid Laurier University