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.