:

1 -

1 -

implout , implout(X, Y) , Y X .

implout((P - Q), (P1 & Q1) # (~1 & ~Q1))):- !, implout(P,Pl), implout(Q,Ql).

implout((P - Q),(~P1 # Q1)):-!, implout(P,P1), implout(Q,Q1).

implout(all(X,P),all(X,P1)):- !.

implout(exists(X,P),exists(X,P1)):-!, implout(P, P1).

implout((P & Q),(P1 & Q1)):- !, implout(P,P1), implout(Q,Q1).

implout((P # Q),(P1 # Q1)):-!, implout(P,P1), implout(Q,Q1).

implout((-P),(~Pl)):-!, implout(P,P1).

implout(P,P).


: 0.308. /Cache: 3 / 0