%
%  Test program for truth tables.
%
:- load_files(tt).

t1 :- create_tt(p -> r).
t2 :- create_tt(p ^ r).
t3 :- create_tt(p v r).
t4 :- create_tt(p <-> r).
t5 :- create_tt(p ^ (q v r)).
t6 :- create_tt(p <-> p).
t7 :- create_tt(p -> q -> p).
t8 :- create_tt(p -> (q -> r) -> (p -> q) -> (p -> r)).
t9 :- create_tt(p + r).
t10 :- create_tt( (~ p -> ~ q) -> (q -> p) ).
t11 :- create_tt( (p+q) <-> (~ (p ->  q) v ~ (q -> p) )).