ard@siva.bristol.ac.uk (Tony Duell) (10/13/90)
When I posted my Boolean Algebra Directory a few weeks ago, I forgot to
include functions to simplify expressions of the form
A AND A
or
A OR A
I have include them here, with suggested names - I won't re-post the rest,
to save network bandwidth, but anyone who wants the whole thing can e-mail
me. If there is sufficient interest, I'll post it to comp.sys.handhelds.
AS: Replace A AND A with A
--------------------------
%%HP: T(3)A(R)F(.);
\<< { '&X AND &X' &X
} \|vMATCH DROP
\>>
OS:Replace A OR A with A
------------------------
%%HP: T(3)A(R)F(.);
\<< { '&X OR &X' &X }
\|vMATCH DROP
\>>
--
Tony Duell
ARD @ UK.AC.BRIS.SIVA (JANET)
ARD @ SIVA.BRIS.AC.UK (Bitnet)