solvelogic(true,true,false,true).

implies(X,Y) :- (not(X);Y).                       %that's implies formula and it works
xor(X,Y) :- not(X=Y).                             %that's xor formula and it works too
and(X,Y) :- X,Y.
or(X,Y) :- X;Y.

implies1(P,Q,R) :- implies(and(P,Q),R).
implies2(P,Q,R) :- implies(P,(or(not(Q),R))).
implies3(P,Q,R) :- implies(implies1(P,Q,R),implies2(P,Q,R)).