Output of propositional functions

[roadrunner]

I don't know of a switch, but this function returns true and false in CAS:

g2(x):=BEGIN IF x>0 THEN RETURN(true); END ; RETURN(false); END;

In HOME I think you will always get 0 or 1.

-road