:- ensure_loaded('../Evaluations/truth_table.pl').
:- use_module('../Basis/translations.pl').
:- use_module('../Basis/external_operators.pl').

:- operators_for_external_representation.

%
%  test(+ExternalFormula)
%
test(ExternalFormula) :-
	from_external_to_internal(ExternalFormula, Formula),
	create_tt(Formula).


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