Trtab v1.2 README file
by Paul Landes <landes@unt.edu>
Mar 12, 1998
========================================

What is trtab?

Trtab takes as input boolean equations and produces their respective
truth tables.  The program is useful for applications that facilitate
truth tables.  Upon entering a boolean equation, trtab will give a
truth table that shows every possible value.

----

Why use trtab?

The main reasons for using trtab involve scientific (specifically
electrical engineering) application.  For instance, if you were to
reduce a boolean equation by eliminating terms, entering the equation
before and the equation afterward into trtab show whether the two
equations were equivalent or not.

Examples of uses for the program are:
  - Circuit design
  - Logic testing
  - Creating for a fuller understanding of a boolean equation
  - Mathematic analysis

----

Requirements

Trtab is very easy to compile.  What you need to compile the program
is the following:
  - STL (ANSI C++ Standard template library)
  - An ANSI C++ compiler
  - make (preferably GNU make)*
  - GNU readline (optional)

* You might be able to compile this program with other versions of
make, but I have not tried it.  If you are knowledgeable in a
different make, you will probably be able to make modifications to the
makefiles as the compilation process is not too complicated.

GNU is optional but is not packaged with the system.  This package
allows you to traverse through a command history and do command-line
editing (uses the same key-bindings as emacs and bash).  Again this
package is not needed to compile trtab, but is *very* nice to have.

----

Installation

Trtab is very easy to make.  First edit the makefile to decide whether
or not to compile in readline.  If you are making trtab for DOS, you
can choose to use the IBM character set characters for row/column
delimiters.  After editing the makefile, do:

  make

  su root

  make install

----

Code Disclaimer

I wrote the majority of this code two years ago some just recently.  I
got tired of the project at this time and have dug it up with hopes of
getting around to putting it out.  Because of this, much of the code
is not efficient nor commented.  As this is free software, you will
have to live with this.  Otherwise, just delete it!

I have mentioned in several places that there are a couple of bugs in
the program.  I would like to debug these, but again, don't have the
time now to do it.  If you would like to debug them, please do (see
below `Request For Comments'.

----

Request For Comments

Any comments that you have on the program, or requests to contribute
are more than welcome.  I hope there are others who would like to make
this a better program as I also would like to, but lack the
time/priority to do them at this time.

If you change the code, all I ask is that you send me a copy also so
that improvements can be distributed.

----

Disclaimer

This program is Copyright 1998 Free Software Foundation, Inc.

This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License , or (at
your option) any later version.
 
This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.
 
You should have received a copy of the GNU General Public License
along with this program. If not, write to the Free Software
Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.

See COPYING for more information about the GNU public license.

----

Contact

e-mail:	landes@unt.edu, plandes@luminant.com
http:	http://mars.csci.unt.edu/landes/
