Sidhe
Unity3D engine
offline
Опыт:
7,721Активность: |
Логика
столкнулся тут с 3 задачками... вообщем не могу решить интерпретации... помогите разобраться:
1)нужно составить формулу без констант, которая бы отвечала этим интерпритациям i0:Q(a,b)Q(b,c)Q(c,a)P(a)
i3:Q(a,b)Q(b,a)Q(b,b)P(c)
f1:Ax(P(x)=>EyQ(x,y))
f3:ExQ(x,x) f5:AxAy((P(x)&Q(x,y))=>P(y))
((((ExB(x)vExC(x))&Ax(C(x)=>D(x)))&Ax(B(x)=>D(x)))=>ExD(x))
З.Ы. я все делаю вроде бы прально, но прога которая проверяет на наличие совпадений твердит что не прально... я перепробовал все комбинации и варианты =\ |
04.05.2010, 12:01 | #1
+0/−0
Профиль |
Приват |
Поиск |
Цитата |
IP: Записан
|