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

Вариант 16 LA достаточно для В, а Б влечет С либо А, но А не эквива­ лентно С. 2. {AvB^C)&.(]ЛvBvAvQ&.(A&B^^C&]УvA&'\Б)&iDvB)vB&C&^C. 3. A^(CvA)sB. 4. C=^(AvB), D=^{BvC) ^'AvB. 5. Когда не все А суть не В, а некоторые В суть С, тогда не существует А таких, что не В. 6. Зх\^уР(х,у)=>'^уЗхР(х,у). 7. /4=\/:х:ЭуР(д:у(>'))=>ЗхР(л:,х), B=Vy3xQ(x,fiy))-=^3y\/xP 8. Ни одно С не есть D. Все А суть D. Некоторые В суть С. Следовательно, все В суть А. 9. P=abbc, Q=abbccdacad. 10. P=abb, Q=abbcbac. 11. Смотри условия задачи. 12. x''+у. П.~\^(А=>А)=^{А=>А). 14. ({Nx)=>y)sz, (xvy)sz. 15. B*,A\JC*(A*nB*)uC*. Вариант 17 1. Когда А необходимо для В, а. В достаточно для С и А, тогда А не эквивалентно С или В. 2. (I^v1 C)&(Cv £))V5&1^&1BV£)&(^&CV£))&(1^V1QV£)&^. 3. Ъ\уС=:>А&В=>]С. 4. А=>(В=>С), BvCvD j= (A=>QvD. 5. Если некоторые В суть А, а ни одно В не есть С, то все не А суть С. 6. 3A:(P(x)&Vy(P0)=i>g(A:,j))). 7. A='3y\/xQ{a,x,y)=:>\/xP(x,x), B=3x3yR{x,y) 308