The PROPC program performs analysis of formulas from
the Propositional or Sentential Calculus, a branch of symbolic logic.
PROPC can be used to perform a complete truth table analysis of
propositional formulas of arbitrary complexity. Up to 9 independent
variables are allowed which implies tables may contain as many as
512 truth value lines. The program can print all lines, print only
the true lines, or print only the false lines, or it may simply
test a formula as a tautology. The program can also display the
parse tree structure that corresponds to any formula, and it can
translate formulas from the common infix notation to Polish notation.
This program also generates and displays the Karnaugh Map that is
associated with a given formula or a given truth table which is
comprised of 2, 3, or 4 variables. The program also displays a minimal
length formula that generates the same truth table as determined
by the Karnaugh Map. Truth tables and formulas can be printed on
a printer or saved in disk files. This program works in a text display
mode only and does not require any graphics hardware. There is an
independent tutorial file, PROPC.TXT, which is for first-time users.
PROPC.TXT may be imported into any word processor and/or printed
on any printer.