busca([],[(p impl q) impl ((nega q) impl (nega p))]).
busca([],[((p impl q) impl r) impl (p impl (q impl r))]).
busca([],[(p impl (q impl r)) impl ((p impl q) impl r)]).
busca([p conj (nega q), p impl q, t impl r, p conj s],[t]).
busca([p conj (nega q), p impl q],[t]).
busca([],[((nega p) impl q) impl ((nega r) impl s)]).
busca([],[p impl p]).
busca([],[p conj (nega p)]).
busca([],[p disy (nega p)]).
busca([a impl (a disy b)],[b impl (a disy b)]).
busca([(a conj b) impl a],[(a conj b) impl b]).

intersecta([p,q,r],[p]).
intersecta([p impl q,q,r],[p impl q]).
intersecta([p impl q,q,r],[(p impl q)]).