Artifact 25909ff4abcbdc3695de26a1ea48200298e1eaf3342ed207ab5a45e3bd44e7df:

• Executable file r37/lisp/csl/html/r37_0637.html — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 625) [annotate] [blame] [check-ins using] [more...]

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