Interpreting Formulas of PC
Here is a program that prints out truth tables for formulas of
Propositional Calculus.
The program also determines if a given formula is a tautology, a
contradiction, or neither, and thus serves as a decision procedure for
logical validity.
Files
-
prop.c
-
Print out truth tables for formulas of Propositional Calculus;
determine if a formula is a tautology, a contradiction, or neither.
The program can be run interactively by specifying no command line
arguments, or it can process an input file containing a list of
commands by specifying the input filename as a command line argument.
-
prop.in,
prop.out
-
Example input file.
|