truthtable(f)
Displays a truth table for the boolean function f.
Example
f(p,q) = p->q
truthtable( f )
p q p->q
T T T
T F F
F T T
F F T