GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
############################################################################# ## #W boolean.tst GAP Library Thomas Breuer ## ## #Y Copyright (C) 1997, Lehrstuhl D für Mathematik, RWTH Aachen, Germany ## ## Exclude from testinstall.g: too trivial? ## gap> START_TEST("boolean.tst"); gap> not true; false gap> not false; true gap> true = true; true gap> true = false; false gap> false = true; false gap> false = false; true gap> true < true; false gap> true < false; true gap> false < true; false gap> false < false; false gap> true or true; true gap> true or false; true gap> false or true; true gap> false or false; false gap> true and true; true gap> true and false; false gap> false and true; false gap> false and false; false gap> TNUM_OBJ(fail)[2]; "boolean or fail" gap> STOP_TEST( "boolean.tst", 250000); ############################################################################# ## #E