Artifact 25909ff4abcbdc3695de26a1ea48200298e1eaf3342ed207ab5a45e3bd44e7df:



<A NAME=BOOLEAN>

<TITLE>BOOLEAN</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>BOOLEAN</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>package</B><P>
<P>
 
 <P>
<P>
Author: Herbert Melenk 
<P>
<P>
This package supports the computation with boolean expressions in the 
propositional calculus. The data objects are composed from algebraic 
expressions connected by the infix boolean operators and, or, 
 implies, equiv, and the unary prefix operator not. 
 Boolean allows you to simplify expressions built from these 
operators, and to test properties like equivalence, subset property etc. 
<P>
<P>


REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]