%% Resolves a formula
%% Uses exact quantities, naming each individual

%%valid(names([john,peter,sam,matt,andy],implies(and(happy(x),implies(happy(x),golucky(x)))),golucky(x))).

nu(implies(A,B),0) :-
	nu(A,1), nu(B,0).
nu(implies(A,B),
nu(and(A,B),1) :-
	nu(A,1), nu(B,1).
%%convert
valid(Val) :-
	set1(T), set1(T2), test_formula(and(a,b),T,T2,Val).
set1(t).
set1(f).
test_formula(and(a,b),T,T2,Val) :-
	and(T,T2,Val).
and(1,1,1).
and(1,0,0).
and(0,1,0).
and(0,0,0).
valid(Formula,List) :-
	valid(Formula,[],List).
valid(and(A,B),List,List2) :-
	append([A,t],List,List1), append([B,t],List1,List2).
%%insert([L,T],List,List1) :-