Математическая логика и теория алгоритмов

14. {{Nx)^y)&,z, (x=i>>')&(y=>(iVx))&2. 15. B* ,A*uC*,A*n{B*KjC*). Вариант 7 1 .A необходимо для В, a В когда С а А, т А не эквивалентно С и В. 2. (^&CvZ))&(l^v1C)v £>&^v(l^v1 Q&(Cv1 D)vB&^ Л&^B. 3.1AVCWA&B=>]C. 4.> v 1 e v д iPvigv^", p, e j= 5. 5. Некоторые В суть не Л и ни одно В не есть С, но некоторые А суть С. 6. (\/xP(x))&\/xQ(x)s \/x\fy(P(x)&Q(y)). 1. A=yx^yQ{a,b,x,y)=>\fxP(x,x), B=3x3y\fzRix,y,z 8. Bee не В суть A. Ни одно А не суть D. Все В суть С. Следовательно, все D суть С. 9. P-badb, Q —badbdabcdd. 10. P=abab, Q=abababd. 11. Смотри условия задачи. 12. min(xi,x2, ...л:„). 13. (yi=>yi)=>(l^=>l/(). 14. N({Nx)vy)&:z, (N(x=>y))&z. 15. С *KJ B* A * nC * А*^{В * пС *). Вариант 8 1 . A, когда 5 и С, a 5 при условии, что С, но из С не следует А и В. 2.A&lCv(0ЛvD)&(BvD)&У&Ъ&iBv'Ь))vA&CvC&]C 3. А=>В8сС. 4. >v l e v i ? , IPvli?. Р, Q, li?v5, l i ?vr j= S8C]T. 5. Все A суть не В, а некоторые С суть В, но некоторь[е С суть А или не В. 302