Hi,
>>>>> On Mon, 26 Aug 2013 00:15:45 +0800, tklam <argama@gmail.com> said:
tklam> behaviour of symbolic multiplication such that: x*x == x
tklam> (instead of x*x==x^2),
The nearest solution I can propose, is to define a new function
bool() of one variable and use, say, bool(x) and bool(y) instead of
your Boolean variables x and y.
The point is: for a function you have possibility to define
its own behaviour under exponentiation, in particular,
bool(x)^2=bool(x).
Best wishes,
Vladimir
--
Vladimir V. Kisil email: kisilv@maths.leeds.ac.uk
www: http://www.maths.leeds.ac.uk/~kisilv/
Book: Geometry of Mobius Transformations
http://www.worldscientific.com/worldscibooks/10.1142/p835