File r37/lisp/csl/html/r37_0637.html artifact 25909ff4ab part of check-in 2f3b3fd537



<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 ]