David Lovelock
Department of Mathematics
University of Arizona
Tucson, Arizona 85721
This program displays Truth Tables. Expressions are
constructed from the statements p, q, and r, and the four operations,
"v" (or), "^" (and), "'" (not), and ">" (implies).