Определим предикат 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).
Плохо проигрывается звук или видео? http://kmplayer-ru.com/. |